Software implementation of petri nets and compilation of rule-based systems (original) (raw)
Related papers
Introductory Chapter: Petri Nets in Science and Engineering
Petri Nets in Science and Engineering, 2018
A survey on the supervision of Petri nets
A combination of Petri nets and process network synthesis
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)
Petri Nets and Regular Processes
Journal of Computer and System Sciences, 1999
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
Lecture Notes in Computer Science, 2016
Petri nets and algebraic specifications
Theoretical Computer Science, 1991
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
High-level Petri nets model for XP methodology
Weaving Business Processes and Rules: A Petri Net Approach
Lecture Notes in Business Information Processing, 2009
Testing experiments on bounded Petri nets
HAL (Le Centre pour la Communication Scientifique Directe), 2014
Performance evaluation of petri nets execution algorithms
2007 IEEE International Conference on Systems, Man and Cybernetics, 2007
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Lecture Notes in Computer Science, 2004
Qualitative Assessment of the Exceeding Behaviour of Discovered Petri Nets
IFAC-PapersOnLine, 2018
Complexity Analysis of Continuous Petri Nets
Lecture Notes in Computer Science, 2013
An Evolutionary Approach to the Use of Petri Net Based Models
Hardware Design and Petri Nets, 2000
Linear Time Analysis of Properties of Conflict-Free and General Petri nets
RePEc: Research Papers in Economics, 2010
Applying Petri Nets to Requirements Validation
IFAC Proceedings Volumes
Challenges in Application of Petri Nets in Manufacturing Systems
Electronics, 2021
Testing experiments on synchronized Petri nets
arXiv (Cornell University), 2013
An Introduction to Systems Modeling and Simulation with Colored Petri
2014
An Optimization Approach for Identification of Petri Nets
2006 8th International Workshop on Discrete Event Systems, 2006
Linear programming techniques for analysis and control of batches Petri nets
IFAC Proceedings Volumes, 2010
Lecture Notes in Computer Science, 2003
Automatic generation of control solution for resource allocation using Petri net model
2009
A Petri Nets based Method for Specification and Automatic Generation of User Interface
International Conference on Human-Computer Interaction, 1999
Petri net model decomposition - a model based approach supporting distributed execution
2010
An example of modeling manufacturing systems using Petri nets and the IEC 61499 standard
2009
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
Lecture Notes in Computer Science, 2004
Construction and Analysis of Petri Net Model for Distributed Cyber Physical Systems
Defence Science Journal, 2022
Petri Nets Applications, 2010
Visual Programming and Development of Manufacturing Processes Based on Hierarchical Petri Nets
2016 3rd International Conference on Soft Computing & Machine Intelligence (ISCMI), 2016
Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006)
2006
Dynamic Slicing Techniques for Petri Nets
Electronic Notes in Theoretical Computer Science, 2008
APPLICATIONS OF PETRI NETS PETRI NET APPLICATIONS (Atena Editora)
APPLICATIONS OF PETRI NETS PETRI NET APPLICATIONS (Atena Editora), 2024