A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Digital systems synthesis from Petri net descriptions
1998
DAIMI Report Series
Preserved Fulltext
During about the last fifteen years the importance and use of Petri nets as a language for modeling digital systems have greatly increased. ...
Many computer aided design tools dealing with Petri nets for the analyzis, verification and synthesis of this sort of hardware have been recently developed as well. ...
Petri nets have already been successfully used for the specification, analysis, and synthesis of digital systems for several years by many groups around the world. ...
doi:10.7146/dpb.v27i530.7059
fatcat:dozzfyrowfekbcftgxoxykpulu
Delay-insensitive interface specification and synthesis
2000
Proceedings of the conference on Design, automation and test in Europe - DATE '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A design flow is also illustrated in which specifications are automatically translated into Petri nets, validated, and synthesised into asynchronous logic. ...
DI-Algebra is presented here as a language for the specification of modules with delay-insensitive interfaces. Such modules can be implemented either in synchronous or in asynchronous logic. ...
We now return to the examples of the previous section, specify suitable environments, and present the logic equations synthesised by petrify from the Petri nets produced by di2pn. ...
doi:10.1145/343647.343725
fatcat:k7em5fjwejgjtjlfythju56kqm
A Survey on Workflow Verifications of Petri Nets based Service Process Management
2012
International Journal of Grid and Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Furthermore, the incompatibility and unsafe factors will impact the service process of business systems. The service process may have complex dependencies of business logic. ...
Section 3 discusses the service Petri Nets and service workflow modeling techniques. ...
Petri Nets based Service Process Modeling Method Petri Nets is suitable to modeling the distributed system. ...
doi:10.14257/ijgdc.2015.8.6.09
fatcat:4oqtgzjla5azxhnerdv6oz7tq4
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field
2013
Annual Reviews in Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
for Standardization) or IEC (International Electrotechnical Commission) standards for the use of Petri nets in engineering, this work cannot hope to be a complete survey or a tutorial in the more classical ...
Later, many other new lines of activity, including logic control and performance evaluation, flourished in Europe. Today Petri nets are widespread all over the world. ...
All of them started to work on Petri nets around 1973 -1975 , who started to work on stochastic Petri nets at the very beginning of the 1980s, and was initially inspired by contributions from UCLA. ...
doi:10.1016/j.arcontrol.2013.09.001
fatcat:othq33ivp5hdtpxqiwznkek6pe
A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets
1999
The International Journal of Advanced Manufacturing Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
The application of Petri nets is one of the well-known approaches for developing provably error-free control software for manufacturing systems. ...
Petri nets, supporting reuse as well as stepwise validation. ...
Starke, Bernd Grahlmann, Kimmo Varpaaniemi, and especially Guido Wimmel for their assistance in using their tools. ...
doi:10.1007/s001700050051
fatcat:a44vof3djng7la3t67fm7idmcy
Page 755 of Mathematical Reviews Vol. , Issue 80B
[page]
1980
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Sifakis, Synchro- nized Petri nets: a model for the description of non-autonomous systems (pp. 374-384); V. A. Nepomniaschy [V. A. ...
Kotov, An algebra for parallelism based on Petri nets (pp. 39-55); Brian H. Mayoh, Data types as func- tions (pp. 56-70); Robin Milner, Synthesis of communicating be- havior (pp. 71-83); Eric G. ...
IEEE Access Special Section: Cyber-Physical Systems
2019
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
''C-Exact hypergraphs in concurrency and sequentiality analyses of cyber-physical systems specified by safe Petri Nets.'' ...
His research interests include programmable devices and systems, logic synthesis, technology-dependent partitioning, technology mapping dedicated to a wide range of programmable logic devices (FPGA and ...
doi:10.1109/access.2019.2949898
fatcat:mejnm7golfc2xdm5r2x5ae2pza
Integration between Scheduling and Design of Batch Systems Based on Petri Net Models
2005
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For this purpose, it first views the behavior of a batch operating system as a discrete event system and presents a Petri net model to be used for scheduling, design and operation. ...
It next formulates batch scheduling problems based on Petri net partial languages, proposes their solution technique and last discusses the integration between scheduling and design of batch systems. ...
Acknowledgments The authors gratefully acknowledge partial financial support from the Japan Society for the Promotion of Science through a Grant-in Aid for Scientific Research (B) (No. 16360394). ...
doi:10.1093/ietfec/e88-a.11.2989
fatcat:wvh3wvgccbe37l3iru6kmli7i4
Page 2543 of Mathematical Reviews Vol. , Issue 98D
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Enrique Teruel and Manuel Silva, {SC}*ECS: a class of modular and hierarchical cooperating systems (440-459); Kim Sunesen and Mogens Nielsen, Behavioural equivalence for infinite systems—partially decidable ...
for a class of stochastic Petri
68 COMPUTER SCIENCE
984:68010
nets (327-345); Alex Kondratyev, Michael Kishinevsky, Alexan- der Taubin and Sergei Ten, A structural approach for the analysis of Petri nets ...
Application of WEB Service Composition in Intelligent Distribution
2016
Internet of Things and Cloud Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Taking intelligent distribution system as an example to solve the obstacles that affect the information sharing in supply chain. ...
Council executive meeting, discussed and adopted the "long-term development of the logistics industry planning", which proposed that by 2020 there will essencially establish modern logistics service system ...
expert system is the key to the computer automatic synthesis into WEB services. ...
doi:10.11648/j.iotcc.20160401.11
fatcat:paeyo5jhxbgzdkk5h3q42pd46i
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2017
Journal of Logical and Algebraic Methods in Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Collective Adaptive Systems are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. ...
In his talk, Rocco presented the SCEL language developed by his research group for programming collective adaptive systems and its underlying theory. ...
workflow and a home automation system for a family house. ...
doi:10.1016/j.jlamp.2017.01.001
fatcat:jo7r7geqqnfublut2yry3ki23u
Modeling and Distributed Implementation of Synchronization and Coordination in Multi-Robot Systems
2012
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Basic Petri nets are extended as a prototyping tool for expressing real-time control of robotic systems based on command response concept. ...
A systematic method of constructing hierarchical net models is described for their direct implementation such that the net is translated into the detailed net by stepwise refinements from the highest task ...
The system controller oversees the operation of a set of logically decentralized controllers and initiates the cooperative execution of subtasks based on the conceptual net model. ...
doi:10.1016/j.proeng.2012.07.282
fatcat:44quz44eafhcpl267a64sfnvhq
Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter
2019
Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The system is specified by a Petri net, and further modelled in a hardware description language (HDL) towards final implementation in a programmable device. ...
The system is checked three times before the final implementation in hardware. Initially, the Petri-net based specification is formally verified by the application of the model-checking technique. ...
Then the Verilog specification (using specialised Vivado synthesis tool from Xilinx) was logically synthesised in order to program an FPGA device (XC7A35T from Xilinx Artix-7 family was used). ...
doi:10.3390/math7090812
fatcat:bzwsdcpqmnd5hgavm4sfmhvjui
Intelligent Production Systems Reconfiguration by Means of Petri Nets and the Supervisory Control Theory
[chapter]
2010
Advances in Petri Net Theory and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
by Means of Petri Nets and the Supervisory Control Theory ...
If the holarchy is incapable of achieving its mission for the new operative condition, it requests cooperation from the rest of the HPU. ...
The modeling and analysis capacities of PNs with Contract Net are combined for the distribution of tasks among holons and the so-called collaborative Petri Nets are proposed. ...
doi:10.5772/10295
fatcat:w4b65mztcre4fh52axwl4chuqu
Page 1201 of Mathematical Reviews Vol. , Issue 95b
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
based on Petri nets (545-557); S. ...
Campos, Functional and per- formance analysis of cooperating sequential processes (169-175); Falko Bause, Peter Buchholz and Peter Kemper, Hierarchically combined queueing Petri nets (176-182); Luca Ferrarini ...
« Previous
Showing results 1 — 15 out of 1,983 results