For the most recent entries see the
Petri Nets Newsletter.
Keyword: verification
-
Khomenko, Victor;
Koutny, Maciej:
Verification of bounded Petri nets using integer programming.
2006.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
Zaitsev, D.A.:
Verification of telecommunication protocols using decomposition of Petri nets.
2005.
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
Pickett, Christopher J.F.;
Verbrugge, Clark;
Martineau,;
Felix,:
(P)NFG: A Language and Runtime System for Structured Computer Narratives.
2005.
-
van Hee, Kees;
Serebrenik, Alexander;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness of Resource-Constrained Workflow Nets.
2005.
-
Lehmann, Kolja;
Moldt, Daniel:
Modelling and Analysis of Agent Protocols with Petri Nets.
2004.
-
Zaitsev, Dmitry A.:
Verification of protocol TCP via decomposition of Petri net model into functional subnets.
2004.
-
Alexander, Adrianna:
Composition of Temporal Logic Specifications.
2004.
-
Yen, Hsu-Chun;
Yu, Lien-Po:
Dependability Analysis of a Class of Probabilistic Petri Nets.
2004.
-
Charatonik, W.;
Dal Zilio, S.;
Gordon, A.D.;
Mukhopadhyay, S.;
Talbot, J.-M.:
Model checking mobile ambients.
2003.
-
Girault, Claude;
Valk, Rüdiger:
Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications.
2003.
-
Kindler, E.;
Vesper, T.:
ESTL: Some Proof Techniques.
2003.
-
Peuker, Sibylle:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.
2003.
-
Mikolajczak, Boleslaw;
Sefranek, Charles:
Integrating Object-Oriented Design with Petri Nets - Case Study of ATM System.
2003.
-
Narayanan, Srini;
McIlraith, Sheila:
Analysis and simulation of Web services.
2003.
-
van Hee, Kees;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
2003.
-
Merseguer, José;
Campos, Javier;
Mena, Eduardo:
Analysing internet software retrieval systems: modeling and performance comparison.
2003.
-
Khomenko, Victor;
Koutny, Maciej:
Branching Processes of High-Level Petri Nets.
2003.
-
Köhler, Michael;
Rölke, Heiko:
Towards a Unified Approach for Modeling and Verification of Multi Agent Systems.
2001.
-
Grahlmann, Bernd:
Parallel Programs as Petri Nets.
2001.
-
Valentin-Roubinet, C.:
Hybrid Dynamic Systems verification with Mixed Petri Nets.
2000.
-
Chisholm, G.H.;
Wojcik, A.S.:
An application of formal analysis to software in a fault-tolerant environment.
1999.
-
Inazumi, H.;
Omoto, N.:
A new scheme for verifying rule-based systems using Petri nets.
1999.
-
Kemper, P.:
A mapping of autonomous net condition event systems to GSPNs.
1999.
-
Dufourd, Catherine;
Finkel, Alain:
A polynomial lambda-bisimilar normalization for reset Petri nets.
1999.
-
Fleischhack, Hans;
Grahlmann, Bernd:
Towards compositional verification of SDL systems.
1998.
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
Jensen, K.:
An Introduction to the Practical Use of Coloured Petri Nets.
1998.
-
van der Aalst, W.M.P.:
Formalization and Verification of Event-driven Process Chains.
1998.
-
Kindler, Ekkart;
Vesper, Tobias:
ESTL: A Temporal Logic for Events and States.
1998.
-
Grahlmann, Bernd:
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.
1998.
-
Heiner, Monika:
On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems.
1997.
-
Heiner, Monika:
Verification and Optimization of Control Programs by Petri Nets without State Explosion.
1997.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Compositional Petri Net Semantics for SDL.
1997.
-
Anisimov, N.A.;
Kovalenko, A.A.;
Tarasov, G.V.;
Inzartsev, A.V.;
Scherbatyuk, Ph.:
A Graphical Environment for the AUV Mission Programming.
1997.
-
Diagne, Alioune;
Ilié, Jean-Michel;
Moldt, Daniel:
A Petri net-based support for object-oriented specification of complex control systems.
1997.
-
Kindler, Ekkart;
Vesper, Tobias:
A Temporal Logic for Events and States in Petri Nets.
1997.
-
van der Aalst, W.M.P.;
Verbeek, H.M.W.;
Hauschildt, D.:
A Petri-net-based Tool to Analyze Workflows.
1997.
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Varpaaniemi, Kimmo;
Heljanko, Keijo;
Lilius, Johan:
PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis.
1997.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Petri Net Semantics for B(PN)² with Procedures.
1997.
-
Yakovlev, A.;
Koelmans, A.M.;
Semenov, A.;
Kinniment, D.J.:
Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets.
1996.
-
Yakovlev, A.;
Lavagno, L.;
Sangiovanni-Vincentelli, A.:
A unified signal transition graph model for asynchronous control circuit synthesis.
1996.
-
Fleischhack, H.;
Grahlmann, B.:
A Petri Net Semantics for B(PN)² with Procedures which Allows Verification.
1996.
-
Kindler, Ekkart;
Walter, Rolf:
Arc-Typed Petri Nets.
1996.
-
Nützel, Jürgen;
Fengler, Wolfgang:
Analysis and Verification of High-Level-Nets in Combination with Formal Estelle Specifications.
1995.
-
Grahlmann, B.:
Verifying Telecommunication Protocols with PEP.
1995.
-
Grahlmann, B.:
PEP: A Programming Environment based on Petri Nets.
1995.
-
Liu, N.K.;
Dillon, T.:
An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets.
1991.
-
Liu, N.K.;
Dillon, T.:
An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets.
1991.
-
Lilius, Johan:
On the Verification of Programmable Logic Controller Programs.
1991.
-
Valmari, Antti:
Stubborn Sets of Coloured Petri Nets.
1991.
-
de Sa, P.;
Paiva, S.:
Design and Verification of Concurrent Switching Sequences with Petri Nets.
1990.
-
Garavel, H.;
Sifakis, J.:
Compilation and Verification of LOTOS Specifications.
1990.
-
Garavel, H.;
Sifakis, J.:
Compilation and Verification of LOTOS Specifications.
1990.
-
Juanole, G.;
Ayoub dit Ayadi, M.:
ISO CCR Formal Modelling and Verification via Projections.
1990.
-
Lloret, J.:
Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Wang, Shu Chien;
Amin, Ashok T.:
Modeling and Verification of AMPS Communication Protocol.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Pinto de Sa, J.L.;
Sucena Paiva, J.P.:
Design and Verification of Concurrent Switching Sequences with Petri Nets.
1990.
-
He, Xudong;
Lee, John A.N.:
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
1990.
-
Suzuki, Toshinoro;
Shatz, Sol M.;
Murata, Tadao:
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
1990.
-
Daliang, D.:
Rule Based Discrete System Simulation and Verification of Petri Nets.
1989.
-
Dimitrov, V.;
Petkov, A.:
Verification of Specifications Written in ESTELLE, Using Petri Nets.
1989.
-
Dimitrov, V.;
Petkov, A.:
Verification of Specifications Written in the Estelle Language Using Petri Nets.
1989.
-
Fidelak, M.;
Victor, F.:
Verification of Production Systems (Expert Systems).
1989.
-
Janicki, R.;
Koutny, M.:
Towards a Theory of Simulation for Verification of Concurrent Systems.
1989.
-
Shatz, S.M.;
Suzuki, T.;
Murata, Tadao:
Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets.
1989.
-
Eckert, Hans;
Prinoth, Rainer:
Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen.
1983.
-
van Hee, K.;
Lomazova, I.A.;
Oanea, O.;
Serebrenik, A.;
Sidorova, N.;
Voorhoeve, M.:
Checking properties of Adaptive Workflow Nets.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography