Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this paper, a formal method (called PZ nets) for specifying concurrent and distributed systems is presented, which integrates two well-known existing formal methods Petri nets and Z such that Petri Nets are used to specify the overall structure, control flows, causal relation, and dynamic behavior of a system; and Z is used to define tokens, labels and constrains of the system.
Abstract: In this paper, a formal method (called PZ nets) for specifying concurrent and distributed systems is presented. PZ nets integrate two well-known existing formal methods Petri nets and Z such that Petri nets are used to specify the overall structure, control flows, causal relation, and dynamic behavior of a system; and Z is used to define tokens, labels and constrains of the system. The essence, benefits, and problems of the integration are discussed. A set of heuristics and transformations to develop PZ nets and a technique to analyze PZ nets are proposed and demonstrated through a well-known example.
43 citations
01 Jan 1987
TL;DR: In this paper, the authors define families of formal languages related to classes of P/T-systems and define transition sequences as a way to define the possible finite or infinite occurence sequences of a Petri net to the transitions.
Abstract: Petri nets where multiple arcs are allows and the capacity of the places need not be bounded are here called Place/Transition systems. The restrictions of the possible finite or infinite occurence sequences of a P/T-system to the transitions are called transition sequences and give the basis to define families of formal languages related to classes of P/T-systems.
43 citations
27 Sep 1982
TL;DR: Low production cost requirements have developped a new trend to flexible production system automatization during these last years, where controllers are no longer isolated on a production machine, they are progressively interconnected with a transportation system and merged into an information system.
Abstract: Low production cost requirements have developped a new trend to flexible production system automatization during these last years. Controllers are no longer isolated on a production machine, they are progressively interconnected with a transportation system and merged into an information system.
43 citations
TL;DR: In this paper, the authors introduced hybrid Petri nets into modeling for farm work flow in agricultural production and proposed an approach of formulating the farm work planning problem based on the model.
43 citations
TL;DR: Linear Logic has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets, and a new kind of high-level nets is defined: Linear Logic Petri Nets (LLPN).
Abstract: Linear Logic [4] has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets (e.g. [1], [6], [2]). This result is generalised to coloured nets. Furthermore a new kind of high-level nets is defined: Linear Logic Petri Nets (LLPN). These nets are used as an intuitive semantics to well-known and new high-level net concepts like object systems ([8], [12], and [10]) and agent orientation.
43 citations