Some Decidability Results for Nested Petri Nets (original) (raw)
Related papers
The DisCo2000 Specification Language Annotated version
2003
Deriving algebraic Petri net specifications from structured analysis—a case study
Information & Software Technology - INFSOF, 1995
Properties specification language for algebraic Petri nets
A linear specification language for Petri nets
COMPUTER, 1991
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT'97: Theory and Practice of Software …, 1997
1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)
Software Components: a Formal Semantics Based on Coloured Petri Nets
Electronic Notes in Theoretical Computer Science, 2006
On the use of programming languages for textual specification of Petri Net Models
2007
Towards A High-Level Petri Net Type Definition
2004
Petri Nets for Component-Based Software Systems Development
Petri Net, Theory and Applications, 2008
Definitive principles and the specification of software
Associating composition of Petri net specifications with application designs in GRADE
Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99, 1999
Extending pnml Scope: A Framework to Combine Petri Nets Types
Lecture Notes in Computer Science, 2012
Petri Net Approaches for Modelling and Validation
2001
High-level algebraic Petri nets
Information & Software Technology, 1995
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
Petri Nets and Software Engineering
Lecture Notes in Computer Science, 2004
Software Engineering and Petri Nets
2000
CoFI: The Common Framework Initiative for Algebraic Specification
BULLETIN-EUROPEAN ASSOCIATION FOR …, 1996
1993
Under consideration for publication in Formal Aspects of Computing
An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems
Systems, Man, and …, 1998
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools
1995
The Formal Specification Language mCRL2
2006
A Protocol Specification Language with a High-Level Petri Net Semantics
IFIP WG10.3 Publications, 1993
Application and Theory of Petri Nets and Concurrency
Lecture Notes in Computer Science, 2013
Formal specifications of computer-based systems
Miroslav Sveda, Dvořák Václav
Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2002
CASL: the Common Algebraic Specification Language
Peter Mosses, Hubert Baumeister
Theoretical Computer …, 2002
CO-OPN/2 - A Specification Language for Distributed Systems Engineering
1996
ZB 2000: Formal Specification and Development in Z and B
Lecture Notes in Computer Science, 2000
Decidability Issues for Petri Nets
BRICS Report Series, 1994