Abstract
We use Timed Petri Nets (TPN) in our general modelling tool for sociotechnical systems, called Function Nets. Our interest is to find the general differences in behaviour between Petri Nets and TPN. The influence of timing to basic net-properties is discussed: The time-concept imposes a restriction to the set of firing-sequences in a given net, which in turn influences the liveness of the net. The standard-liveness is not suitable for our purpose. The use of more basic liveness-definitions is suggested. A modelling example utilizing a TPN is given.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
GenrichrH.J.; Stankiewicz-Wiechno,E.: A Dictionary of some Basic Notions of Net Theory. Net Theory and Applications. LNCS, Vol. 84 (1980)
Ghosh,S.: Some Comments on Timed Petri Nets. Reseaux de Petri, AFCET (Mars 1977 )
Godbersen,H.P., Meyer,B.E.: Function Nets as a Tool for the Simulation of Information Systems. Proceedings Summer Computer Simulation Conference, Newport Beach, Ca. (July 1978), AFIPS Press
Godbersen,H.P.: Funktionsnetze, Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme. Proceedings GI-Fachtagung Formale Modelle fuer Informationssysteme (May 1979), Informatik Fachberichte, Bd. 21
Go80/ Godbersen,H.P.: A Net Simulation Language. Proceedings Summer Computer Simulation Conference, Seattle, Wa. (Aug. 1980), AFIPS Press
Lautenbach,K.: Liveness in Petri Nets. GMD,Internal-Report 02. 1 /75 (1975)
Noe,.J.D.: Nets in Modeling and Simulation. Net Theory and Applications. LNCS, Vol. 84 (1980)
Ramchandani,C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. MIT, MAC-TR-120, (Febr. 1974 )
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Godbersen, H.P. (1982). On the Problem of Time in Nets. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive