Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. G. Campos, G. Chiola and M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automation and Control, 36(12):1368–1382, 1991.
2. J. M. Colom, J. Campos and M. Silva. On Liveness Analysis Through Linear Algebraic Techniques. Dpto. Ing. Electrica e Informatica, Universidad de Zaragoza RR 90-11, 1990.
3. J. M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In G. Rozenberg (ed.), Advances in Petri nets 1990, Vol. 483 of Lecture Notes in Computer Science, pp. 113–145, Springer-Verlag, 1991.
4. J. Desel and J. Esparza. Reachability in cyclic extended free choice systems. Theoretical Computer Science, 114:93–118, 1993.
5. J. Desel and J. Esparza. Free Choice Petri Nets, Vol. 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Realisability of Chemical Pathways;Bioinformatics Research and Applications;2023
2. Stop-transitions of Petri Nets*;Fundamenta Informaticae;2020-09-28
3. Verifying Modal Workflow Specifications Using Constraint Solving;Lecture Notes in Computer Science;2014
4. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks;Integration of Software Specification Techniques for Applications in Engineering;2004
5. Model Validation — A Theoretical Issue?;Application and Theory of Petri Nets 2002;2002