Synthesizing communication protocol converter: a model and method
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Proceedings of the conference on TRI-Ada '97
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Automatic Verification of Concurrent Ada Programs
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Decomposition in Asynchronous Circuit Design
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Decomposition in Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Mechanical systems and assemblies modeling using knowledge-intensive Petri nets formalisms
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A Novel Hierarchical Method For Decomposition And Design Of Workflow Models
Journal of Integrated Design & Process Science
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Soundness-preserving reduction rules for reset workflow nets
Information Sciences: an International Journal
Output-Determinacy and Asynchronous Circuit Synthesis
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Avoiding Irreducible CSC Conflicts by Internal Communication
Fundamenta Informaticae - Application of Concurrency to System Design
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Modelling and analysing the SDL description of the ISDN-DSS1 protocol
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Combining decomposition and unfolding for STG synthesis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Component-based authoring of complex, Petri net-based digital library infrastructure
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Construction of asynchronous communicating systems: weak termination guaranteed!
SC'10 Proceedings of the 9th international conference on Software composition
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Conference Internationale Francophone sur I'Interaction Homme-Machine
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Refinement of synchronizable places with multi-workflow nets: weak termination preserved
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Discovering characteristics of stochastic collections of process models
BPM'11 Proceedings of the 9th international conference on Business process management
Modular modelling of software product lines with feature nets
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Petri net reachability checking is polynomial with optimal abstraction hierarchies
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Determinate STG decomposition of marked graphs
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets for protocol engineering
Computer Communications
From fine-grained to abstract process models: A semantic approach
Information Systems
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Avoiding Irreducible CSC Conflicts by Internal Communication
Fundamenta Informaticae - Application of Concurrency to System Design
Output-Determinacy and Asynchronous Circuit Synthesis
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Improved Decomposition of Signal Transition Graphs
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach
Fundamenta Informaticae
Data support in process model abstraction
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
On negotiation as concurrency primitive
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Refinement of Synchronizable Places with Multi-workflow Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
A Rough Set Approach to Information Systems Decomposition
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.00 |