%0 Book Section %1 State-of-the-art-93 %A Balbo, G. %A Silva, M. %A Chiola, G. %A Campos, J. %A others, %B Workshop on Formalisms, Principles, and State-of-the-Art %C Erlangen, Germany %D 1993 %I Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) %K imported jcampos %P 3-60 %T The Timed (Coloured) Petri Net Formalism: Position Paper %U http://webdiis.unizar.es/~jcampos/wordpress/wp-content/plugins/papercite/pdf/state-of-the-art-93.pdf %V 14 %X This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow more freedom than other established formalisms in the choices regarding the trade off between structural model complexity and interpretation of the graph. Some considerations are made on coloured Petri nets that could suggest them as a superior modelling formalism. The main comparison term that we selected are BCMP type queueing networks.

@incollection{State-of-the-art-93, abstract = {This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow more freedom than other established formalisms in the choices regarding the trade off between structural model complexity and interpretation of the graph. Some considerations are made on coloured Petri nets that could suggest them as a superior modelling formalism. The main comparison term that we selected are BCMP type queueing networks.}, added-at = {2017-05-12T16:10:55.000+0200}, address = {Erlangen, Germany}, author = {Balbo, G. and Silva, M. and Chiola, G. and Campos, J. and others}, biburl = {https://www.bibsonomy.org/bibtex/2a342cb97289d0cb32bad8b600a16d587/jcampos}, booktitle = {Workshop on Formalisms, Principles, and State-of-the-Art}, interhash = {be896fcd57ed472fd61f2b8ca775415f}, intrahash = {a342cb97289d0cb32bad8b600a16d587}, keywords = {imported jcampos}, pages = {3-60}, publisher = {Arbeitsberichte des Instituts f{\"u}r Mathematische Maschinen und Datenverarbeitung (Informatik)}, series = {Band 26}, timestamp = {2017-05-15T11:48:08.000+0200}, title = {The Timed (Coloured) {Petri} Net Formalism: Position Paper}, url = {http://webdiis.unizar.es/~jcampos/wordpress/wp-content/plugins/papercite/pdf/state-of-the-art-93.pdf}, volume = 14, year = 1993 }