## Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. ProceedingsThis 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Invited Papers | 1 |

J Meseguer U Monianari V Sassone | 16 |

Full Papers | 39 |

Copyright | |

23 other sections not shown

### Common terms and phrases

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