For the most recent entries see the
Petri Nets Newsletter.
Keyword: reachability analysis
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
Vanit-Anunchai, S.;
Billington, J.:
Initial Result of a Formal Analysis of DCCP Connection Management.
2004.
-
Billington, J.;
Han, B.:
Formalising the TCP Symmetrical Connection Management Service.
2003.
-
Aalto, Annikka;
Husberg, Nisse;
Varpaaniemi, Kimmo:
Automatic Formal Model Generation and Analysis of SDL.
2003.
-
Han, B.;
Billington, J.,:
Validation TCP Connection Management.
2002.
-
Han, Bing;
Billington, Jonathan:
An Analysis of TCP Connection Management Using Coloured Petri Nets.
2001.
-
Mäkelä, Marko:
Optimising Enabling Tests and Unfoldings of Algebraic System Nets.
2001.
-
Abdulla, Parosh Aziz;
Jonsson, Bengt:
Ensuring completeness of symbolic verification methods for infinite-state systems.
2001.
-
Ey, H.;
Sackmann, D.;
Mutz, M.:
Adaptive job-shop scheduling with routing and sequencing flexibility using expert knowledge and colored Petri nets.
2000.
-
Hiraishi, K.:
An efficient algorithm for exploring state spaces of Petri nets with large capacities.
2000.
-
Ibarra, O.H.;
Bultan, T.;
Su, J.:
Reachability analysis for some models of infinite-state transition systems.
2000.
-
Lim, S.;
Kang, S.;
Ham, H.;
Kim, T.:
Modeling and analysis of a multiple agent-based key recovery protocol by extended cryptographic timed Petri nets.
2000.
-
Reyes Moro, A.;
Yu, H.;
Kelleher, G.:
A PN reachability analysis branching scheme for the scheduling of FMS.
2000.
-
Varpaaniemi, Kimmo:
Stable Models for Stubborn Sets.
2000.
-
Junttila, T.A.:
Finding symmetries of algebraic system nets.
1999.
-
Lin, E.Y.-T.;
Zhou, C.:
Modeling and analysis of message passing in distributed manufacturing systems.
1999.
-
Strehl, Karsten;
Thiele, Lothar:
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.
1999.
-
Varpaaniemi, Kimmo:
Stable Models for Stubborn Sets.
1999.
-
Coves, C.;
Crestani, D.;
Prunet, F.:
How to manage coverability graphs construction: an overview.
1998.
-
Gunnarsson, J.:
Symbolic tools for verification of large scale DEDS.
1998.
-
Juan, E.Y.T.;
Tsai, J.J.P.;
Murata, Tadao:
Compositional verification of concurrent systems using Petri net based condensation rules.
1998.
-
Miyamoto, T.;
Kumagai, S.:
Calculating place capacity for Petri nets using unfoldings.
1998.
-
Husberg, Nisse:
Verifying SDL programs using Petri nets.
1998.
-
Varpaaniemi, Kimmo:
On the Stubborn Set Method in Reduced State Space Generation.
1998.
-
Varpaaniemi, Kimmo;
Heljanko, Keijo;
Lilius, Johan:
PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis.
1997.
-
Miyamoto, T.;
Kumagai, S.:
A graph theoretic approach to reachability problem with Petri net unfoldings.
1996.
-
Jirachiefpattana, Ajin;
Lai, Richard:
An NPN system for Estelle verification.
1996.
-
Shatz, S.M.;
Tu, S.;
Murata, Tadao;
Duri, S.:
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.
1996.
-
Kemper, Peter:
Numerical Analysis of Superposed GSPNs.
1995.
-
Lee, D.Y.;
DiCesare, F.:
Scheduling flexible manufacturing systems using Petri nets and heuristic search.
1994.
-
Suzuki, H.;
Tsuji, K.;
Araki, T.;
Takahashi, O.;
Yoshitake, S.:
A method to validate the correctness of test logic programs applied in a protocol conformance test systems using Petri nets.
1994.
-
Varpaaniemi, Kimmo:
Dynamically Stubborn Sets and the Sleep Set Method.
1994.
-
Varpaaniemi, Kimmo:
On-the-Fly Verification with PROD.
1994.
-
Varpaaniemi, Kimmo:
On Computing Symmetries and Stubborn Sets.
1994.
-
Cheng, A.;
Esparza, J.;
Palsberg, J.:
Complexity Results for 1-Safe Nets.
1993.
-
Varpaaniemi, Kimmo:
On Choosing a Scapegoat in the Stubborn Set Method.
1993.
-
Varpaaniemi, Kimmo:
Efficient Detection of Deadlocks in Petri Nets.
1993.
-
Grönberg, Peter;
Tiusanen, Mikko;
Varpaaniemi, Kimmo:
PROD - A Pr/T-Net Reachability Analysis Tool.
1993.
-
Liu, N.K.;
Dillon, T.:
An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets.
1991.
-
Starke, Peter H.:
Reachability Analysis of Petri Nets Using Symmetries.
1991.
-
Nitsche, Ulrich:
Erreichbarkeitsanalyse von Produktnetzen.
1991.
-
Pätzold, P.:
Erreichbarkeitsanalyse in verteilten Systemen mit Petri-Netzen.
1990.
-
Tu, S.;
Shatz, S.M.;
Murata, Tadao:
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.
1990.
-
Ang, C.C.;
Jordan, V.;
Dillon, T.S.:
Application of Petri Nets to Specify and Verify the ISO-CASE Protocols.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography