Abstract
Structure theory is a branch of net theory devoted to investigate the relationship between the structure and the behaviour of net models. Many of its powerful results have been derived for some subclasses of ordinary (i.e. all weights one) Place/Transition net systems. Nevertheless, weights may be very convenient to properly model systems with bulk services and arrivals. They can be implemented by means of ordinary subnets, but then the original structure of the net becomes too complex, even in the simplest cases, to be amenable of some interesting structural analysis techniques.
We present here some results regarding the structure theory of a subclass of (weighted) Place/Transition systems that naturally generalizes the ordinary subclass of Free Choice systems: Equal Conflict systems. We concentrate on a couple of important results concerning the relationship between the structure (in particular, represented by the state equation) and the behaviour. Actually, we show that liveness of bounded Equal Conflict systems can be decided verifying that there is no solution to a linear system of inequalities in the integer domain, and that live and bounded Equal Conflict systems have home states.
This work has been partially supported by the projects P IT-6/91 of the Aragonese CONAI (DCA), CICYT TIC-91-0354 of the Spanish Plan Nacional de Investigación, and Esprit W.C. 6067 (CALIBAN).
Preview
Unable to display preview. Download preview PDF.
References
E. Best, L. Cherkasova, J. Desel, J. Esparza. Characterisation of Home States in Free Choice Systems. Technical Report 9/90, Institut für Informatik, Universität Hildesheim.
E. Best. Structure Theory of Petri Nets: the Free Choice Hiatus. In APN 86, LNCS 254:168–205. Springer-Verlag.
E. Best, K. Voss. Free Choice Systems Have Home States. Acta Informatica 21:89–100.
J.M. Colom. Análisis Estructural de Redes de Petri. Programación Lineal y Geometría Convexa. PhD Thesis, Dpto. Ing. Eléctrica e Informática, Universidad de Zaragoza.
J.M. Colom, M. Silva. Improving the Linearly Based Characterization of P/T Nets. In APN 90, LNCS 483:113–145. Springer-Verlag.
J. Esparza, M. Silva. On the Analysis and Synthesis of Free Choice Systems. In APN 90, LNCS 483:243–286. Springer-Verlag.
M.H.T. Hack. Analysis of Production Schemata by Petri Nets. M.S.Thesis, Project MAC TR-94, MIT, Cambridge, Massachusetts. (Corrections in Computation Structures Note 17, 1974.)
T. Murata. Petri Nets: Properties, Analysis and Applications. In Procs. IEEE 77,4:541–580.
G.L. Nemhauser, L.A. Wolsey. Integer and Combinatorial Optimization. Wiley.
M. Silva. Las Redes de Petri: en la Aulomática y la Informatica. AC.
E. Teruel, P. Chrzastowski-Wachtel, J.M. Colom, M. Silva. On Weighted T-systems. In Applications and Theory of Petri Nets 1992, LNCS 616:348–367. Springer-Verlag.
E. Teruel, J.M. Colom, M. Silva. Linear Analysis or Deadlock-Freeness of Petri Net Models. Technical Report GISI-RR-92-29, Dpto. Ing. Eléctrica e Informática, Universidad de Zaragoza. (To appear in Procs. European Control Conference, ECC '93.)
P.S. Thiagarajan, K. Voss. A Fresh Look at Free Choice Nets. Information and Control 61,2:85–113.
W. Vogler. Live and Bounded Free Choice Nets have Home States. Petri Net Newsletter 32:18–21.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Teruel, E., Silva, M. (1993). Liveness and home states in equal conflict systems. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_59
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_59
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive