Application and Theory of Petri Nets: International Conference ... ProceedingsSpringer-Verlag, 2003 - Petri nets |
Contents
Invited Papers | 1 |
The Resource Allocation Problem in Flexible Manufacturing Systems 223 | 23 |
Colored GSPN Models for the QoS Design of Internet Subnets | 36 |
Copyright | |
25 other sections not shown
Other editions - View all
Common terms and phrases
Aalst agent algebra algorithm analysis arcs asynchronous systems b₁ behavior bisimulation CO-OPN color Coloured Petri Nets components Computer Science concurrent constraints corresponding CPN model CPN Tools deadlock defined Definition denote diagnoser elementary elements empty enabled event example Figure finite fireable firing sequence formal FSDC function graph graphical hd-Mnet HFPN IEEE implementation initial marking input interface internal transitions Kleene algebra labels lac operon Lemma LNCS M-nets M₁ mobility model checking modular modules monoidal morphisms Mulan N₁ node Notes in Computer object occurrence operation packet Petri net type PNML process terms properties protocol pullback reachable markings reactive refinement RELAX NG represent resource RSVP sender session simulation siphon SIPN space specification Springer-Verlag synchronisation synchronous t₁ Theorem token-game semantics tokens transition systems variable verification WF engine WF-nets workflow