Loading...
Please wait, while we are loading the content...
Similar Documents
Apc semantics for petri nets (2007).
| Content Provider | CiteSeerX |
|---|---|
| Author | Šimoňák, Slavomír Hudák, Štefan Korečko, Štefan |
| Abstract | The paper deals with an algebraic semantics for Petri nets, based on a process algebra APC (Algebra of Process Components) by the authors. APC is tailored especially for describing processes in Petri nets. This is done by assigning special variables (called E-variables here) to every place of given Petri net, expressing processes initiated in those places. Algebraic semantics is then given as a parallel composition of all the variables, whose corresponding places hold token(s) within the initial marking. Resulting algebraic specification preserves operational behavior of the original net-based specification. Povzetek: Članek opisuje algebro semantike za Petri mreže. 1 |
| File Format | |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Content Type | Text |