Parallel program design: a foundation
Parallel program design: a foundation
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Information and Computation
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
Verifying temporal properties of processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Verifying temporal properties of systems
Verifying temporal properties of systems
Handbook of logic in computer science (vol. 2)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Regular types for active objects
Object-oriented software composition
Partial order verification with PEP
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modular functional modelling of Petri nets with individual tokens
Advances in Petri Nets 1992, The DEMON Project
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Hierarchical High Level Petri Nets for Complex System Analysis
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Journal of Integrated Design & Process Science - Component-Based System Development
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hi-index | 0.00 |
This paper introduces safety properties in the temporal logic sense (as defined in (Manna and Pnueli, 1995)) to Petri net modules. Petri net modules (Padberg, 2001, Padberg, 2002) have been achieved by a transfer of algebraic specification modules to Petri nets. They consist of three nets; the interface nets import and export, and the body of the module. The import net states the prerequisites the modules assumes. The body net represents the internal functionality. The export net gives an abstraction of the body that can be used by the environment. The interfaces IMP and EXP are related to the body BOD via morphisms. These modules conform with the basic concepts of components and component-based systems of Continuous Software Engineering (CSE) (Weber, 1999). We make precise what it means that a Petri net module has specific safety properties. We differentiate between explicit and implicit properties. Explicit safety properties are stated additionally to the export net. Implicit are those properties that hold in the export net without being stated explicitly. The main advantage of our approach are module operations to compose larger modules from basic ones. We can show that the composition of modules preserves safety properties: Given two modules with implicit or explicit safety properties then the composition of these modules is again a module with implicit or explicit safety properties.