## Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, ProceedingsThis book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004. The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc. |

### What people are saying - Write a review

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

### Contents

Invited papers | 1 |

Can Brute Force Be Smart? | 17 |

Better Models Better Code | 35 |

Copyright | |

20 other sections not shown

### Common terms and phrases

abstract algorithm analysis asynchronous systems automata automaton behaviour bisimulation block Boolean cell Coloured Petri Nets components composition Computer Science concurrent condition consider corresponding CPN Tools CPNs database defined Definition denoted enabled event example Figure finite set firing formal formula function hash function ICATPN IHTPN implemented infinite initial marking input interface isomorphic labelled language Lemma LNCS logic marked graph method model checking modular module multiset node object life cycle object-net occurrence sequence operation output partial order partition pomset problem Proc prod Proof properties protocol quantum quantum computers qubits reachability graph reachable markings regular language regulatory Reisig relation represent representation semantics signal simulation Software specification Springer Springer-Verlag step structure synchronisation synchronous TCTL temporal logic Theorem Theory of Petri tokens tool transaction transformations transition relation transition system tuple Ueos variables verification w-branching processes WF-net workflow X/Open