Synthesizing Petri nets from state-based models
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Methodology and tools for state encoding in asynchronous circuit synthesis
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
Formal Methods in System Design
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
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
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Synthesizing Distributed Transition Systems from Global Specification
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of 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
Improving Flexibility of Workflow Management Systems
Business Process Management, Models, Techniques, and Empirical Studies
Translations between Textual Transition Systems and Petri Nets
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Petri Nets, Configuration Structures and Higher Dimensional Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Pomsets for local trace languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Complete State Encoding Based on the Theory of Regions
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Transition systems without transitions
Theoretical Computer Science
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Rethinking CSCW systems: the architecture of MILANO
ECSCW'97 Proceedings of the fifth conference on European Conference on Computer-Supported Cooperative Work
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A theoretical investigation of regular equivalences for fuzzy graphs
International Journal of Approximate Reasoning
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
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
Modular system development with pullbacks
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
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
How expressive are petri net schemata?
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
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
On the expressive power of petri net schemata
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets with localities and testing
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
Multiplicative Transition Systems
Fundamenta Informaticae
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Revising and extending the uppaal communication mechanism
SC'12 Proceedings of the 11th international conference on Software Composition
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
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
Finite Completeness of Categories of Petri Nets
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Hi-index | 0.01 |