Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
Springer, Jul 22, 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.
16 pages matching SGSPN in this book
Results 1-3 of 16
What people are saying - Write a review
We haven't found any reviews in the usual places.
J Meseguer U Monianari V Sassone
23 other sections not shown
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 disk dynamically stubborn ECORP elements enabled transitions equivalence relation equivalent event example execution expressions Figure firing rule formal function given GSPN immediate transitions implementation incidence matrix inhibitor arcs initial marking input place invariants labelled LEFs linear livelocking Macrotec Meta Software minimal multimedia multiset node notation Objects occurrence graph operational semantics output partial order performance Petri net models PFA team place/transition Proof properties reachability graph reachability set reachable markings relation represent request S-invariant SADT semantics server set method set of markings SGSPN simulation specification SSMi stochastic structure stubborn set submodels subnet symmetry synchronisation synchronization T-invariant Theorem tion tool transformation tuple variable verification