Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Best, Eike
Fleischhack, Hans
Fraczak, Wojciech
Hopkins, Richard P.
Klaudel, Hanna
and
Pelz, Elisabeth
1995.
Application and Theory of Petri Nets 1995.
Vol. 935,
Issue. ,
p.
103.
Baccelli, F.
Foss, S.
and
Gaujal, B.
1995.
Free-choice Petri nets: the algebraic approach.
Vol. 2,
Issue. ,
p.
2023.
Straub, Pablo A.
and
Hurtado, Carlos L.
1996.
Coordination Languages and Models.
Vol. 1061,
Issue. ,
p.
440.
Matsumoto, T.
1996.
Reachability criterion of live free choice Petri nets.
p.
350.
Baccelli, F.
Foss, S.
and
Gaujal, B.
1996.
Free-choice Petri nets-an algebraic approach.
IEEE Transactions on Automatic Control,
Vol. 41,
Issue. 12,
p.
1751.
Huhn, Michaela
and
Niebert, Peter
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
611.
Sea Ling
and
Schmidt, H.W.
1996.
Towards analysing a class of object Petri nets.
p.
81.
Kovalyov, Andrei
1996.
Application and Theory of Petri Nets 1996.
Vol. 1091,
Issue. ,
p.
366.
Pastor, E.
Cortadella, J.
Kondratyev, A.
and
Roig, O.
1996.
Structural methods for the synthesis of speed-independent circuits.
p.
340.
Melzer, Stephan
and
Esparza, Javier
1996.
Programming Languages and Systems — ESOP '96.
Vol. 1058,
Issue. ,
p.
250.
Esparza, Javier
and
Melzer, Stephan
1997.
Application and Theory of Petri Nets 1997.
Vol. 1248,
Issue. ,
p.
1.
Matsumoto, T.
Miyano, Y.
and
Jiang, Y.
1997.
Some useful sufficient criteria for the basic reachability problem in general Petri nets.
Vol. 4,
Issue. ,
p.
4104.
Teruel, E.
Colom, J.M.
and
Silva, M.
1997.
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans,
Vol. 27,
Issue. 1,
p.
73.
Taubin, A.
Kondratyev, A.
and
Kishinevsky, M.
1997.
Application of Petri net unfoldings to asynchronous design.
Vol. 5,
Issue. ,
p.
4279.
Aalst, W. M. P.
1997.
Application and Theory of Petri Nets 1997.
Vol. 1248,
Issue. ,
p.
407.
Penczek, Wojciech
1997.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 1217,
Issue. ,
p.
145.
Schmidt, Karsten
1997.
Application and Theory of Petri Nets 1997.
Vol. 1248,
Issue. ,
p.
271.
Bause, Falko
1997.
Application and Theory of Petri Nets 1997.
Vol. 1248,
Issue. ,
p.
215.
Billington, J.
1997.
Development of an international standard for high-level Petri nets.
p.
155.
Dufourd, Catherine
and
Finkel, Alain
1997.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 1346,
Issue. ,
p.
312.