1,983 Hits in 2.7 sec

Digital systems synthesis from Petri net descriptions

Norian Marranghello
1998 DAIMI Report Series  
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

Mark B. Josephs, Dennis Furey
2000 Proceedings of the conference on Design, automation and test in Europe - DATE '00  
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

Xiaoxian Yang, Tao Yu, Huahu Xu
2012 International Journal of Grid and Distributed Computing  
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

Manuel Silva
2013 Annual Reviews in Control  
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

M. Heiner, P. Deussen, J. Spranger
1999 The International Journal of Advanced Manufacturing Technology  
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  
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

Remigiusz Wisniewski, Grzegorz Benysek, Luis Gomes, Dariusz Kania, Theodore Simos, Mengchu Zhou
2019 IEEE Access  
''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  
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  
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

Ruoling Zhang
2016 Internet of Things and Cloud Computing  
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)

Luca Aceto, Anna Ingolfsdottir
2017 Journal of Logical and Algebraic Methods in Programming  
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

Gen'ichi Yasuda
2012 Procedia Engineering  
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

Wisniewski, Bazydło, Szcześniak, Grobelna, Wojnakowski
2019 Mathematics  
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]

German Zapata, Edgar Chacn, Juan Palacio
2010 Advances in Petri Net Theory and Applications  
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  
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