Application and Theory of Petri Nets, 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : Proceedings
Springer-Verlag, 1994 - Computers - 587 pages
"This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world. The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets."--PUBLISHER'S WEBSITE.
What people are saying - Write a review
We haven't found any reviews in the usual places.
J Meseguer U Montanari V Sassone
23 other sections not shown
Other editions - View all
Application and Theory of Petri Nets 1994: 15th International Conference ...
No preview available - 2014
aggregated view algebra algorithm asynchronous circuits basic BDDs behaviour bisimulation boolean causality Coloured Petri Nets communication component Computer Science concurrent corresponding CP-nets with channels deadlock defined Definition denote disabled dynamically stubborn ECORP enabled transitions equivalence relation equivalent event example execution expressions Figure finite firable firing rule formal function given GSPN immediate transitions implementation incidence matrix inhibitor arcs initial marking input place invariants labelled linear livelocking Macrotec Meta Software minimal multimedia multiset node notation Objects occurrence graph operational semantics output partial order performance Peterson's algorithm place/transition Proof properties reachability graph reachability set reachable markings relation represented request S-invariant SADT semantics server set method set of markings SGSPN simulation specification stochastic structure stubborn set submodels subnet symmetry synchronisation synchronization T-invariant Theorem tool transformation transition tē tuple variable verified