Can I read Refinement and Asynchronous Composition of Modal Petri Nets on EtoBox?

Refinement and Asynchronous Composition of Modal Petri Nets by perlaquanta is a document available to read on EtoBox.

What is Refinement and Asynchronous Composition of Modal Petri Nets about?

We propose a framework for the specification of infinite state systems based on Petri nets with distinguished mayand must-transitions (called modalities) refinements are defined by relating the modal language specifications generated by two modal Petri nets according to the refinement relation. As an important application of our approach we consider I / O-Petri nets which are obtained by asynchronous composition.

Author

perlaquanta

Language

EN