Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
An algebraic model of observable properties in distributed systems
Theoretical Computer Science
Synthesizing Distributed Transition Systems from Global Specification
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Net Theory and Workflow Models (abstract)
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Generalized Automata and Their Net Representations
Unifying Petri Nets, Advances in Petri Nets
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
Continuous Petri Nets and Transition Systems
Unifying Petri Nets, Advances in Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
The synthesis of petri nets from path-automatic specifications
Information and Computation
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
How to synthesize nets from languages: a survey
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Nets with Step Firing Policies
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Scenarios with VipTool
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Partial Order Semantics of Types of Nets
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Efficient Controllability Analysis of Open Nets
Web Services and Formal Methods
Hasse Diagram Generators and Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Computers and Industrial Engineering
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Structural non-interference in elementary and trace nets
Mathematical Structures in Computer Science
Process discovery and petri nets†
Mathematical Structures in Computer Science
Hardware and Petri nets: application to asynchronous circuit design
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Region based synthesis of P/T-nets and its potential applications
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Nets enriched over closed monoidal structures
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Towards synthesis of petri nets from scenarios
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Process mining and petri net synthesis
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Ensuring correctness during process configuration via partner synthesis
Information Systems
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Process mining from a basis of state regions
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Synthesis problem for petri nets with localities
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Canonizable partial order generators
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
On the α-reconstructibility of workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Automatica (Journal of IFAC)
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
| Hi-index | 0.01 |