Modeling Petri Nets Semantics in CSP

Izdanje: Naučna konferencija Uniteh 2010

Oblast: Mathematics, Informatics and Physics

Stranice: III

Apstrakt:
Standard notations for specification of business processes, communication protocols and distributed systems are Petri nets based. Such notations are BPM:, UML activity diagrams, WS-BPEL etc. Petri nets have no Turing machine power, but they are more expressive that finite state machines. They have well defined and investigated mathematical properties for analyses and verification. CSP is be used as more powerful mathematical tool for modeling and analyses semantics of specifications given in above mentioned notations. In this approach, it is needed Petri nets semantics to be modeled in terms of chosen mathematical tool.
Ključne reči: Communicating Sequential Processes (CSP), Petri nets, business processes, semantics
Priložene datoteke:
Kategorije objave: Radovi na konferenciji Unitech 2010, Gabrovo, Bugarska

Preuzimanje citata:

BibTeX format 
@article{article,
  author  = {V. Dimitrov}, 
  title   = {Modeling Petri Nets Semantics in CSP},
  journal = {Naučna konferencija Uniteh 2010},
  year    = 2010,
  pages   = {III-393-396}}
RefWorks Tagged format 
RT Conference Proceedings
A1 Vladimir Dimitrov
T1 Modeling Petri Nets Semantics in CSP
AD Naučna konferencija Unitech, Gabrovo, Bugarska
YR 2010
Unapred formatirani prikaz citata
V. Dimitrov, Modeling Petri Nets Semantics in CSP, Naučna konferencija Unitech, 2010