Results 131 to 140 of about 462,160 (174)
Some of the next articles are maybe not open access.
An Algebraic Petri Nets Emulator
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural changes in systems' lifecycle. Many different attempts to face this issue have lead to lot of PN extensions, of particular concern are those matching the so called "nets within nets" paradigm.
Lorenzo Capra
openaire +3 more sources
High-level algebraic Petri nets
Information and Software Technology, 1995Abstract In this paper, a formal method for specifying and verifying concurrent and distributed systems is presented. The formal method has adapted and extended the recent research results in integrating Petri nets with algebraic specifications by incorporating guarded functions explicitly into the net definition, and offers a new technique for ...
Chieh-ying Kan, Xudong He
openaire +4 more sources
Free-choice Petri nets-an algebraic approach
IEEE Transactions on Automatic Control, 1996In this paper, we give evolution equations for free-choice Petri nets which generalize the [max, +]-algebraic setting already known for event graphs. These evolution equations can be seen as a coupling of two linear systems, a (min, +)-linear system and a quasi-(+, x)-linear one.
François Baccelli +2 more
openaire +5 more sources
A method for constructing Algebraic Petri nets
Journal of Systems and Software, 1996Algebraic Petri nets are a powerful formal method for specifying concurrent and distributed systems. We present a new method of constructing algebraic Petri net specifications by establishing a relationship between algebraic Petri nets with structured analysis methods.
Chieh-ying Kan, Xudong He
openaire +1 more source
Connector Algebras, Petri Nets, and BIP
2012In the area of component-based software architectures, the term connector has been coined to denote an entity (e.g. the communication network, middleware or infrastructure) that regulates the interaction of independent components. Hence, a rigorous mathematical foundation for connectors is crucial for the study of coordinated systems.
BRUNI, ROBERTO +2 more
openaire +1 more source
Service net algebra based on logic Petri nets
Information Sciences, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qiang Hu 0002, Yuyue Du, ShuXia Yu
openaire +2 more sources
An algebraic view on Petri nets
Bull. EATCS, 1997Summary: In this overview, we show how to come from the conventional representation of Petri nets in terms of sets and multisets to algebraic versions of low-level and high-level nets. These types of nets are currently studied in the literature using different kinds of terminology.
Hartmut Ehrig, Wolfgang Reisig
openaire +2 more sources
ACM SIGACT News, 2002
Many contemporary computing systems are concurrent and distributed. Many approaches to concurrency formalization have been introduced over last forty years. This monograph combines two theories of concurrency: process algebras and Petri nets. One can hope that combining several competing theories that are mutually complementary can produce a formalism ...
openaire +1 more source
Many contemporary computing systems are concurrent and distributed. Many approaches to concurrency formalization have been introduced over last forty years. This monograph combines two theories of concurrency: process algebras and Petri nets. One can hope that combining several competing theories that are mutually complementary can produce a formalism ...
openaire +1 more source
Algebras of Processes of Timed Petri Nets
1994Processes of timed Petri nets are represented by labelled partial orders with some extra features. These features reflect the execution times of processes and allow to combine processes sequentially and in parallel. The processes can be represented either without specifying when particular situations appear (free time-consuming processes), or together ...
openaire +1 more source