ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Research directions in object-oriented programming
Types and modules for net specifications
Concurrency and nets: advances in Petri nets
The semantics of a net is a net—an exercise in general net theory
Concurrency and nets: advances in Petri nets
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
The definition of Standard ML
Information and Computation
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Petri nets and algebraic specifications
Theoretical Computer Science
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
An action-based framework for verifying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems - Special issue on tools for FDTs
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
Communications of the ACM
Communicating sequential processes
Communications of the ACM
IEEE Transactions on Software Engineering
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Algebraic Specification of Concurrency
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Algebraic High-Level Nets: Petri Nets Revisited
Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification
Semantics Frameworks for a Class of Modular Algebraic Nets
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
An Qutline of the SMoLCS Approach
Proceedings on Mathematical Models for the Semantics of Parallelism
Parameterized Reachability Trees for Algebraic Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Modular State Space Analysis of Coloured Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Symbolic Reachability Graph and Partial Symmetries
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Compositionality in State Space Verification Methods
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Hierarchies in coloured Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Semantics, composition and net properties of algebraic high-level nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
A survey of behaviour and equivalence preserving refinements of Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Behavior relativity of Petri nets
Journal of Computer Science and Technology
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Java Test Driver Generation from Object-Oriented Interaction Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hi-index | 0.00 |
In this paper, we present the basic features of a specification language for concurrent distributed systems, developed at the Department of Information Sciences of the University of Milan, Italy. The language is based on a class of modular algebraic high-level nets, OBJSA nets, which result from the synthesis of Superposed Automata (SA) nets and of the algebraic specification language OBJ. It is supported by the OBJSA Net Environment (ONE).OBJSA nets stress the possibility of building the system model by composing its components and encourage the incremental development of the specification and its reusability. An OBJSA net consists of an SA net inscribed with terms of an OBJ module. The ONE environment supports the user in producing and executing a specification, hiding from her/him, as much as possible, the technical details of the algebraic part of the specification.The paper provides a complete presentation of OBJSA nets, including a user-oriented introduction, the definition of OBJSA nets (as subclass of SPEC-inscribed nets), of their occurrence rule (the semantics) and of the composition operation. In addition it presents the kernel of the support environment.