Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Analytic Queueing Network Models for Parallel Processing of Task Systems
IEEE Transactions on Computers
A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
The development and proof of a formal specification for a multilevel secure system
ACM Transactions on Computer Systems (TOCS)
Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
An object-oriented approach to graphical interfaces
ACM Transactions on Graphics (TOG)
Knowledge-based support for system verification during requirements analysis
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Concurrent development of software systems
ACM SIGSOFT Software Engineering Notes
Hardware support for interprocess communication
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
Non-deterministic modelling of logical queries in deductive databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Towards Complexity Metrics for Ada Tasking
IEEE Transactions on Software Engineering
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
Modeling and Analysis of the Behavior of Information Systems
IEEE Transactions on Software Engineering
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries
IEEE Transactions on Software Engineering
Algorithms for the reduction of timed finite state graphs
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Using raddle to design distributed systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Tools for real time system design
ICSE '88 Proceedings of the 10th international conference on Software engineering
An operational requirement description model for open systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
A process model for data bases
ACM SIGMOD Record
Adding browsing semantics to the hypertext model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
Stochastic Petri Net Representation of Discrete Event Simulations
IEEE Transactions on Software Engineering
Stochastic Petri Net Analysis of a Replicated File System
IEEE Transactions on Software Engineering
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Programmable browsing semantics in Trellis
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
A colored petri net model for connection management services in MMS
ACM SIGCOMM Computer Communication Review
Timing extensions to structured analysis for real time systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Representing first order logic-based specifications in Petri-net-like graphs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrated concurrency analysis in a software development enviornment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automatically generating visual syntax-directed editors
Communications of the ACM
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Petri Net Tools for the Specification and Analysis of Discrete Controllers
IEEE Transactions on Software Engineering
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
A built-in test language for PROLOG to validate knowledge-based systems
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets
IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Using Petri nets to introduce operating system concepts
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Scoresynth: a system for the synthesis of music scores based on Petri nets and a music algebra
Computer - Special issue: Computer-generated music
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
A timed Petri-net model for fine-grain loop scheduling
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A subclass of Petri Nets as design abstraction for parallel architectures
ACM SIGARCH Computer Architecture News
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Dynamic change in office automation: modeling and analysis
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Reasoning about systems with many processes
Journal of the ACM (JACM)
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Correctness verification of concurrent controller specifications
EURO-DAC '92 Proceedings of the conference on European design automation
The data derivation model: a program specification technique that improves reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Petri Net based simulation of controls for a computer-integrated assembly cell
WSC '92 Proceedings of the 24th conference on Winter simulation
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Analytical version control management in a hypertext system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Synthesis of concurrent system interface modules with automatic protocol conversion generation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
WSC '94 Proceedings of the 26th conference on Winter simulation
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
A communicating Petri net model for the design of concurrent asynchronous modules
DAC '94 Proceedings of the 31st annual Design Automation Conference
Modeling and synthesis of timed asynchronous circuits
EURO-DAC '94 Proceedings of the conference on European design automation
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Computers
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallelism in sequential multiprocessor simulation models: a case study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
A design and validation system for asynchronous circuits
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Beyond formal processes: augmenting workflow with group interaction techniques
COCS '95 Proceedings of conference on Organizational computing systems
Object-oriented high-level modeling of system components for the generation of VHDL code
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
WSC '95 Proceedings of the 27th conference on Winter simulation
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Petri net modeling of interconnection networks for massively parallel architectures
ICS '95 Proceedings of the 9th international conference on Supercomputing
ALPHA/Sim simulation software tutorial
WSC '95 Proceedings of the 27th conference on Winter simulation
Estimating the benefit of the parallelisation of discrete event simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Improvement of software process by process description and benefit estimation
Proceedings of the 17th international conference on Software engineering
Improving the accuracy of Petri net-based analysis of concurrent programs
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Time modelling in Petri nets for the design of interaction active
ACM SIGCHI Bulletin
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
ACM Transactions on Database Systems (TODS)
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Compact Petri Net Representation and Its Implications for Analysis
IEEE Transactions on Software Engineering
A technique for synthesizing distributed burst-mode circuits
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
CSPL: An Ada95-Like, Unix-Based Process Environment
IEEE Transactions on Software Engineering
Stubborn Sets for Real-Time Petri Nets
Formal Methods in System Design
ALPHA/SIM simulation software tutorial
WSC '96 Proceedings of the 28th conference on Winter simulation
Modeling and control of deadlocks in a flexible machining cell
WSC '93 Proceedings of the 25th conference on Winter simulation
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Determining the Order of Processor Transactions in StaticallyScheduled Multiprocessors
Journal of VLSI Signal Processing Systems
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Derivation of formal representations from process-based specification and implementation models
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
ALPHA/Sim simulation software tutorial
Proceedings of the 29th conference on Winter simulation
Software synthesis of process-based concurrent programs
DAC '98 Proceedings of the 35th annual Design Automation Conference
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
IEEE Transactions on Computers
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
A graphical hardware design language
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
An enhanced data model for CAD/CAM database systems
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
The use of Petri nets for modeling pipelined processors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
ALPHA/SIM simulation software tutorial
Proceedings of the 30th conference on Winter simulation
An architectural design for digital objects
Proceedings of the 30th conference on Winter simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on Web-based modeling and simulation
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the verification of state-coding in STGs
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Using discrete event modeling for effective computer animation control
WSC '91 Proceedings of the 23rd conference on Winter simulation
A symbolic simulation mechanism for well-formed coloured Petri nets
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Hardware compilation for FPGA-based configurable computing machines
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A monitor for complex CAD systems
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Synthesis of VLSI systems with the CAMAD design aid
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Computer aided and Petri net design for decision-making organizations
WSC '88 Proceedings of the 20th conference on Winter simulation
Performance analysis of a generic naval C2battle group system by use of timed Petri nets
WSC '88 Proceedings of the 20th conference on Winter simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Rapid prototyping of control systems using high level Petri nets
ICSE '85 Proceedings of the 8th international conference on Software engineering
Extended D-timed Petri nets, timeouts, and analysis of communication protocols
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Requirements analysis using Petri nets
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Performance evaluation of concurrent systems using timed petri nets
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
ALPHA/Sim simulation software tutorial
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
M-timed Petri nets and Markov chains in modelling of computer systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Petri nets (abstract): a graph model for the representation and analysis of concurrent systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Modelling software process change for cooperative work
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
An approach towards distributed simulation of timed petri nets
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
KWM: Knowledge-based Workflow Model for Agile Organization
Journal of Intelligent Information Systems
Using Petri nets for rule termination analysis
CIKM '96 Proceedings of the workshop on Databases: active and real-time
Modeling of, and reasoning with recurrent events with imprecise durations
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
The design of an asynchronous VHDL synthesizer
Proceedings of the conference on Design, automation and test in Europe
An efficient algorithm to integrated scheduling and allocation in high-level test synthesis
Proceedings of the conference on Design, automation and test in Europe
Efficient compilation of process-based concurrent programs without run-time scheduling
Proceedings of the conference on Design, automation and test in Europe
Efficient verification using generalized partial order analysis
Proceedings of the conference on Design, automation and test in Europe
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
Communications of the ACM
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Modeling of mixed control and dataflow system in MASCOT
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
ALPHA/Sim: ALPHA/Sim simulation software tutorial
Proceedings of the 32nd conference on Winter simulation
Multimedia and multi-stream synchronization
Distributed multimedia databases
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
Theoretical Computer Science
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Ptolemy: a framework for simulating and prototyping heterogeneous systems
Readings in hardware/software co-design
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science
Response time densities in generalised stochastic petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Proceedings of the 2002 ACM symposium on Document engineering
A survey of Petri net applications in batch processes
Computers in Industry
Modeling of interconnection subsystems for massively parallel computers
Performance Evaluation
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Operational-Object-Oriented Technology: Analysis of Scenarios in Project Control
Automation and Remote Control
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Structuring Acyclic Petri Nets for Reachability Analysis and Control
Discrete Event Dynamic Systems
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
Discrete Event Dynamic Systems
Off-Line Computation of Real-Time Schedules Using Petri Nets
Discrete Event Dynamic Systems
Agent-Based Supply Chain Integration
Information Technology and Management
Secure Disconnected Agent Interaction for Electronic Commerce Activities Using CapBasED-AMS
Information Technology and Management
An SPN-Neural Planning Methodology for Coordination of two Robotic Hands with Constrained Placement
Journal of Intelligent and Robotic Systems
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
Journal of Intelligent and Robotic Systems
Construction of Programs for Real-Time Processing and Analysis of Measuring Information
Programming and Computing Software
Behavioral Models of Business Systems
Automation and Remote Control
Automating the Development of Distributed Control Software
IEEE Parallel & Distributed Technology: Systems & Technology
Model-Driven Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Developing Micropipeline Wavefront Arbiters
IEEE Design & Test
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
Locking Performance in a Shared Nothing Parallel Database Machine
IEEE Transactions on Knowledge and Data Engineering
Knowledge Representation Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Approaches for Scheduling Problems: A Survey
IEEE Transactions on Knowledge and Data Engineering
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
IEEE Transactions on Knowledge and Data Engineering
Implementation of Rule-Based Information Systems for Integrated Manufacturing
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Uncertainty Management in Expert Systems Using Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Weighted Fuzzy Reasoning Using Weighted Fuzzy Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Hardware Support for Interprocess Communication
IEEE Transactions on Parallel and Distributed Systems
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis
IEEE Transactions on Parallel and Distributed Systems
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
Performance Evaluation of Client-Server Systems
IEEE Transactions on Parallel and Distributed Systems
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
An Equivalence Theorem for Labeled Marked Graphs
IEEE Transactions on Parallel and Distributed Systems
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
Knowledge Verification with an Enhanced High-Level Petri-Net Model
IEEE Expert: Intelligent Systems and Their Applications
IEEE Transactions on Software Engineering
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Dependability Modeling and Analysis of Distributed Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Estimation Methods for Nonregenerative Stochastic Petri Nets
IEEE Transactions on Software Engineering
Algorithms for signal and message asynchronous communication mechanisms and their analysis
Fundamenta Informaticae - Application of concurrency to system design
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
A solution of DEDS control synthesis problems
Systems Analysis Modelling Simulation - Some recent progress in systems research and applications
Process algebras for systems diagnosis
Artificial Intelligence
Analysis of discrete event systems by simulation of timed Petri net models
Mathematics and Computers in Simulation
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Analysis of an Industrial System
Formal Methods in System Design
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Scenario-Based Analysis of Component Compositions
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
On Developing Case-Based Tutorial Systems with Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Extended Timed Petri Nets for Distributed Multimedia Presentations
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
A Multidatabase Transaction Model for InterBase
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Managing Derived Data in the Gaea Scientific DBMS
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Nonlinear Planner for Solving Sequential Control Problems in Manufacturing Systems
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Petri Net Control for Grammar Systems
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Towards a Characterisation of Finite-State Message-Passing Systems
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Supporting System-Level Testing of Applications by Active Real-Time Database Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Resource-Based Scripting to Stitch Distributed Components
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
An Ontological Analysis of Integrated Process Modelling
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
PN3-Editor: Compositional Petri Net Editor for Protocol Specification
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On the Power of Labels in Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Why Is Simulation Harder than Bisimulation?
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Intelligent Control Synthesis of Manufacturing Systems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Complex Reactive Control with Simple Synchronous Models
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
On the Complexity of Bisimulation Problems for Pushdown Automata
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
Adaptation in an Evolutionary Hypermedia System: Using Semantic and Petri Nets
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures
Performance Engineering, State of the Art and Current Trends
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Reproducibility of the Empty Marking
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
AMT '01 Proceedings of the 6th International Computer Science Conference on Active Media Technology
Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures
Business Process Management, Models, Techniques, and Empirical Studies
Some Petri Net Languages and Codes
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Queueing Analysis of Pools in Soft Real-Time Systems
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
On the Complexity of Bisimulation Problems for Basic Parallel Processes
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Object-oriented implementation of a model for fuzzy temporal reasoning
Technologies for constructing intelligent systems
Petri net control for grammar systems
Formal and natural computing
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Artificial Intelligence
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Undecidable problems in unreliable computations
Theoretical Computer Science - Latin American theoretical informatics
The Processing Graph Method Tool (PGMT)
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Dynamic Logic in Four-Phase Micropipelines
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Using Partial Orders For Trace Theoretic Verification Of Asynchronous Circuits
ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Task and Dialogue Modeling: Bridging the Divide with Lean Cuisine+
AUIC '00 Proceedings of the First Australasian User Interface Conference
An Event-Driven Multi-Threading Architecture for Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
Handling of recursion in dataflow model
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Ada Requirements Methodology (ARM)
ACM '82 Proceedings of the ACM '82 conference
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign.
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
An environment for cooperative construction of natural-language requirement bases
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Educational applications of multi-client synchronization through improved Web graph semantics
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Automatic verification of industrial designs
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
All-Optical LAN Interconnection with a Wavelength Selective Router
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Automatic Simulation to Predict Software Architecture Reliability
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
FMS scheduling using Petri net modeling and a branch & bound search
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Synthesis of Petri net models: a rough set approach
Fundamenta Informaticae - Concurrency specification and programming
Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling
IEEE Transactions on Computers
A design representation for high level synthesis
EURO-DAC '90 Proceedings of the conference on European design automation
Data flow graphs: system specification with the most unrestricted semantics
EURO-DAC '91 Proceedings of the conference on European design automation
Merlot: a tool for analysis of real-time specifications
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
UML and the unified process
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
Using Simulation for the Validation of High Level Specifications of Control Systems
Journal of Intelligent and Robotic Systems
Petri nets with clocks for the analytical validation of business process
Practicing software engineering in the 21st century
A timed Petri-net model for fine-grain loop scheduling
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
The atoms, molecules and fibers of organizations
Data & Knowledge Engineering - Special issue: The language/action perspective
Mechanical systems and assemblies modeling using knowledge-intensive Petri nets formalisms
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Defeating Internet Attacks Using Risk Awareness and Active Honeypots
IWIA '04 Proceedings of the Second IEEE International Information Assurance Workshop (IWIA'04)
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Process semantics of general inhibitor nets
Information and Computation
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Switched LAN simulation by colored petri nets
Mathematics and Computers in Simulation
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Proceedings of the 6th ACM SIGMM international workshop on Multimedia information retrieval
Extensions of pushdown automata and Petri nets
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
OPM vs. UML—Experimenting with Comprehension and Construction of Web Application Models
Empirical Software Engineering
Reachability analysis of protocols with FIFO channels
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Performance modelling of computer networks
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Automatic verification for a class of distributed systems
Distributed Computing
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Timed Petri Net Representation of SMIL
IEEE MultiMedia
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
Discrete Event Dynamic Systems
Cybernetics and Systems Analysis
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
Evolving petri nets to represent metabolic pathways
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Encyclopedia of Computer Science
Dynamic restructuring of recovery nets
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Objective and Operational Dynamic Models of Complex Processes: Their Interaction
Automation and Remote Control
Intelligent operational management and the concept of integration
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
The generalised method for solving problems of the DEDS control synthesis
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Increasing XML interoperability in Visual Rewriting Systems
WebMedia '05 Proceedings of the 11th Brazilian Symposium on Multimedia and the web
Interactive workflow mining: requirements, concepts and implementation
Data & Knowledge Engineering - Special issue: Business process management
Enabling RTOS simulation modeling in a system level design language
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A test suite for exposing design and implementation details in petri net simulators
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
An approach to Petri net based formal modeling of user interactions from X3D content
Proceedings of the eleventh international conference on 3D web technology
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
Automatic test case generation for UML activity diagrams
Proceedings of the 2006 international workshop on Automation of software test
Journal of Intelligent and Robotic Systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Computation and communication refinement for multiprocessor SoC design: A system-level perspective
Proceedings of the 41st annual Design Automation Conference
On the ω-language expressive power of extended petri nets
Theoretical Computer Science - Expressiveness in concurrency
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
A petri net system: an overview
Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
Theoretical Computer Science
Journal of Biomedical Informatics
System-level performance/power analysis for platform-based design of multimedia applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Journal of Management Information Systems - Special section: Data mining
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Formal aspects of electronic commerce: research issues and challenges
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Designing trustworthy interorganizational trade procedures for open electronic commerce
International Journal of Electronic Commerce - Special issue: A global perspective on electronic commerce
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Compiling concurrent programs for embedded sequential execution
Integration, the VLSI Journal
Timed verification of the reliable adaptive multicast protocol
Journal of Systems and Software
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Cycles and communicating classes in membrane systems and molecular dynamics
Theoretical Computer Science
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
On the computability of agent-based workflows
Decision Support Systems
Incorporating Heterogeneity in Command Center Interactions
Information-Knowledge-Systems Management
Implementing Domain Process Model As A Navigator For Cooperative Work Domain
Journal of Integrated Design & Process Science
Product lines for digital information products
Information Systems
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
Coordinating interactive vision behaviors for cognitive assistance
Computer Vision and Image Understanding
Conformance checking of processes based on monitoring real behavior
Information Systems
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
Computers & Mathematics with Applications
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Detecting non-ergodic simulation models of logistics networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Activity supervision and behavior understanding model in distance education
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Note: Petri nets are less expressive than state-extended PA
Theoretical Computer Science
A fuzzy reasoning design for fault detection and diagnosis of a computer-controlled system
Engineering Applications of Artificial Intelligence
TeMAS–a multi-agent system for temporally rich domains
Knowledge and Information Systems
Performance evaluation of communication networks for distributed systems
International Journal of Computer Applications in Technology
Interoperable Petri net models via ontology
International Journal of Web Engineering and Technology
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Coverage-driven automatic test generation for uml activity diagrams
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Conferencing protocols and Petri net analysis
AIC'06 Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
FPGA-based implementation of safe Petri nets models
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Diagrammatic Education For Software Engineering
Journal of Integrated Design & Process Science
WebLogic event server: a lightweight, modular application server for event processing
Proceedings of the second international conference on Distributed event-based systems
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
International Journal of Parallel, Emergent and Distributed Systems
Design of dual threshold voltages asynchronous circuits
Proceedings of the 13th international symposium on Low power electronics and design
Information Fusion
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Generating Maude formal specifications from AUML diagrams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks
Petri Net-Based Episode Detection and Story Generation from Ubiquitous Life Log
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Labeled Step Sequences in Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
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
Life Story Generation Using Mobile Context and Petri Net
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Grounded Conceptual Graph Models
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Concurrency, Synchronization, and Conflicts in Petri Nets
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Petri Net-Based Simulation and Analysis of the Software Development Process
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Inference of Uniquely Terminating EML
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Fuzzy modeling of system behavior for risk and reliability analysis
International Journal of Systems Science
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Fuzzy logic techniques for navigation of several mobile robots
Applied Soft Computing
Robotics and Computer-Integrated Manufacturing
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
Compositional Verification for Component-Based Systems and Application
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Dynamic Slicing Techniques for Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
INFERENCE PROCEDURES FOR FUZZY KNOWLEDGE REPRESENTATION SCHEME
Applied Artificial Intelligence
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Design of a Supervisor for Traffic Light Systems
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
A tool for modeling and simulating mobile ad-hoc networks
Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Development tools for bus controller software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
The stable and precise motion control for multiple mobile robots
Applied Soft Computing
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Executability of scenarios in Petri nets
Theoretical Computer Science
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
WSEAS TRANSACTIONS on SYSTEMS
Proceedings of the 40th Conference on Winter Simulation
Systems Analysis For Collaborative System By Use Case Diagram
Journal of Integrated Design & Process Science
A temporal language for SystemC
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Access Control Management for SCADA Systems
IEICE - Transactions on Information and Systems
Data & Knowledge Engineering
A Petri net-based model for the attacking soccer robots
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
A Petri Net Model of Handshake Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
D-Finder: A Tool for Compositional Deadlock Detection and Verification
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Expert Systems with Applications: An International Journal
Modeling Clinical Guidelines through Petri Nets
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Service Systems Performance Ontology
Journal of Integrated Design & Process Science
The Integrated Environment For Supporting Collaborative Analysis
Journal of Integrated Design & Process Science
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
Performance evaluation of the inference structure in expert system
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An upgraded petri net model, simulation and analysis of an 8Ũ8 sub-image for JPEG image compression
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Automatica (Journal of IFAC)
Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net
WSEAS Transactions on Information Science and Applications
Microcontroller-based process monitoring using petri-nets
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Discrete Event Dynamic Systems
High performance asynchronous design flow using a novel static performance analysis method
Computers and Electrical Engineering
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Fuzzy discrete-event systems under fuzzy observability and a test algorithm
IEEE Transactions on Fuzzy Systems
Performance analysis of wireless opportunistic schedulers using stochastic Petri nets
IEEE Transactions on Wireless Communications
Modeling infrastructure interdependency among floodplain infrastructures with extended Petri-Net
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
On-line fault diagnosis in a Petri net framework
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
The impact of ICT on an intermodal transportation system: an analysis by Petri nets
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Information Sciences: an International Journal
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
Fragments of Monadic Second-Order Logics Over Word Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent-based resource discovery architecture for environmental emergency management
Expert Systems with Applications: An International Journal
A well-structured framework for analysing petri net extensions
Information and Computation
On the specification and implementation of distributed systems using NMDS and LIPS
Information and Software Technology
On the models for designing VLSI asynchronous digital systems
Integration, the VLSI Journal
Towards increased road safety: real-time decision making for driverless city vehicles
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS
Journal of Computer and System Sciences
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Mathematics and Computers in Simulation
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Journal of Systems and Software
Journal of Visual Languages and Computing
Decidability of properties of timed-arc Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Undecidability of weak bisimulation equivalence for 1-counter processes
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Generic recurrent patterns in business processes
BPM'03 Proceedings of the 2003 international conference on Business process management
When concurrent control meets functional requirements, or Z + petri-nets
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Temporal constraints for object migration and behavior modeling using colored petri nets
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
PACS'02 Proceedings of the 2nd international conference on Power-aware computer systems
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Complete process semantics for inhibitor nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Hierarchical Petri-nets model for the design of e-learning system
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Interacting at the symbolic and structural levels
SAMT'07 Proceedings of the semantic and digital media technologies 2nd international conference on Semantic Multimedia
Modelling protocols for multiagent interaction by F-logic
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Expert system using fuzzy petri nets in computer forensics
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
Improving functional testing through aspects: a case study
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
Towards alternative approaches to reasoning about goals
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Modeling and simulation of self-similar storage I/O
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
CiAN: a workflow engine for MANETs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A reactive measurement framework
PAM'08 Proceedings of the 9th international conference on Passive and active network measurement
Automatic synthesis of computation interference constraints for relative timing verification
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Mining process execution and outcomes: position paper
BPM'07 Proceedings of the 2007 international conference on Business process management
Concurrency control generation for dynamic threads using discrete-event systems
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Applying dynamic blog-based learning map in web tutoring assistances
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
DES modelling and control vs. problem solving methods
International Journal of Intelligent Information and Database Systems
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
Computing with energy and chemical reactions
Natural Computing: an international journal
A fuzzy Petri-nets model for computing with words
IEEE Transactions on Fuzzy Systems - Special section on computing with words
ServiceFlow: QoS-based hybrid service-oriented grid workflow system
The Journal of Supercomputing
A precision improvement of casting process for golf head manufacturing by Petri net
WSEAS TRANSACTIONS on SYSTEMS
On the computational complexity of dominance links in grammatical formalisms
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Smart system design using hybrid models
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Intelligent design assistance with SEA
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Reachability games on extended vector addition systems with states
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
ACM Computing Surveys (CSUR)
MashUp web data sources and services based on semantic queries
Information Systems
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
Transient behavior of ATM networks under overloads
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Performance analysis of the reactor pattern in network services
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Application of ESL synthesis on GSM edge algorithm for base station
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
Synoptic: summarizing system logs with refinement
SLAML'10 Proceedings of the 2010 workshop on Managing systems via log analysis and machine learning techniques
Low power asynchronous circuit back-end design flow
Microelectronics Journal
Biomimetic control architecture for robotic cooperative tasks
Artificial Life and Robotics
Exploiting mobile contexts for Petri-net to generate a story in cartoons
Applied Intelligence
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part III
Model transformation chains and model management for end-to-end performance decision support
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Statistical leakage power optimization of asynchronous circuits considering process variations
PATMOS'10 Proceedings of the 20th international conference on Integrated circuit and system design: power and timing modeling, optimization and simulation
Petri nets-based models for basic authentication procedure
COMATIA'10 Proceedings of the 2010 international conference on Communication and management in technological innovation and academic globalization
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
A stochastic Petri net approach for the manufacturing system design
ICS'10 Proceedings of the 14th WSEAS international conference on Systems: part of the 14th WSEAS CSCC multiconference - Volume II
Designing of intelligent expert control system using petri net for grinding mill operation
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
Toward a smart world: vision-based adaptive surveillance
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
ECC'11 Proceedings of the 5th European conference on European computing conference
Dynamic application model for scheduling with uncertainty on reconfigurable architectures
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
Input modeling for hospital simulation models using electronic messages
Winter Simulation Conference
A framework for evolution of modelling languages
Science of Computer Programming
Communications of the ACM
Management of resources in small and medium-sized production enterprises
Iranian Journal of Science and Technology, Transaction B: Engineering
Technical status evaluation method and corresponding tools for electromechanical systems
Automation and Remote Control
Analyzing web service choreography specifications using colored Petri nets
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Petri net generating hexagonal arrays
IWCIA'11 Proceedings of the 14th international conference on Combinatorial image analysis
Supervised rule based thermodynamic cycles design technique
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part II
Towards IT systems capable of managing their health
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Petri net based formal analysis for multimedia conferencing services orchestration
Expert Systems with Applications: An International Journal
A constraint based approach to cyclic RCPSP
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
The buck stops here: order, chance, and coordination in distributed control
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Generalized state equation for Petri nets
WSEAS TRANSACTIONS on SYSTEMS
Path planning strategy for autonomous mobile robot navigation using Petri-GA optimisation
Computers and Electrical Engineering
Journal of Computer and System Sciences
A recognition-inference procedure for a knowledge representation scheme based on fuzzy petri nets
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
A four dimensional petri net approach for workflow management
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Timed hierarchical object-oriented petri net-part I: basic concepts and reachability analysis
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
An agent-based grid computing infrastructure
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Fuzzy continuous petri net-based approach for modeling immune systems
WIRN'05 Proceedings of the 16th Italian conference on Neural Nets
Modelization of a communication protocol for CSCW systems using coloured petri nets
CDVE'05 Proceedings of the Second international conference on Cooperative Design, Visualization, and Engineering
Science of Computer Programming
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Prospective analysis of cooperative provision of industrial services using coloured petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Modular artifact synthesis from domain-specific models
Innovations in Systems and Software Engineering
Vision based automatic surveillance towards a smart application
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
The magic rule of tiles: virtual delay insensitivity
PATMOS'09 Proceedings of the 19th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model checking of security-sensitive business processes
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Formal deadlock checking on high-level SystemC designs
Proceedings of the International Conference on Computer-Aided Design
A reachability algorithm for general petri nets based on transition invariants
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Consistency checking of concurrent models for scenario-based specifications
SDL'05 Proceedings of the 12th international conference on Model Driven
Separation of concerns in hypertext: articulation points that increase flexibility
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Computation of partial automata through span composition
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
A survey of the theory of min-max systems
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Temporal knowledge representation and reasoning model for temporally rich domains
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Resource usage analysis for the π-calculus
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
International Journal of High Performance Systems Architecture
Dynamic consistency between value and coordination models – research issues
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Defining and modelling service-based coordinated systems
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Behavioral self-control of agent-based virtual pedestrians
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Fuzzy continuous petri net-based approach for modeling helper t cell differentiation
ICARIS'05 Proceedings of the 4th international conference on Artificial Immune Systems
Design of an object-oriented workflow management system with reusable and fine-grained components
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
A parametric communication model for the verification of BPEL4WS compositions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Flowgraph stream parallel programming: Language, process model, and computer implementation
Journal of Computer and Systems Sciences International
Implementation of real-time distributed control for discrete event robotic systems using Petri nets
Artificial Life and Robotics
Modeling semantic information in engineering applications: a review
Artificial Intelligence Review
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Managing petri nets in MOF repositories
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Towards a secure service coordination
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A new method for generation of three-dimensional cubes
CompIMAGE'10 Proceedings of the Second international conference on Computational Modeling of Objects Represented in Images
Language-based comparison of petri nets with black tokens, pure names and ordered data
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Energy-Based models of p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Randomness + structure = clutter: a procedural object placement generator
ICEC'11 Proceedings of the 10th international conference on Entertainment Computing
Music analysis and modeling through petri nets
CMMR'05 Proceedings of the Third international conference on Computer Music Modeling and Retrieval
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Verification of gap-order constraint abstractions of counter systems
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Step coverability algorithms for communicating systems
Science of Computer Programming
Microcontroller-based process monitoring and management using embedded Petri-nets
Robotics and Computer-Integrated Manufacturing
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
On the automatic verification of non-standard measures of consistency
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Domain specific language for the generation of learning management systems modules
Journal of Web Engineering
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
Strong termination for gap-order constraint abstractions of counter systems
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources
Automatica (Journal of IFAC)
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
Symbolic execution of concurrent systems using Petri nets
Computer Languages
Protocols: Twin-bus-controller protocol for fibre optic networks
Computer Communications
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Optimising the flow of information within a C3I network
Mathematical and Computer Modelling: An International Journal
Constructing petri net models using genetic search
Mathematical and Computer Modelling: An International Journal
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
Mathematical and Computer Modelling: An International Journal
Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets
Mathematical and Computer Modelling: An International Journal
Building reduced petri net models of discrete manufacturing systems
Mathematical and Computer Modelling: An International Journal
A proactive approach towards always-on availability in broadband cable networks
Computer Communications
Complexity results for Weighted Timed Event Graphs
Discrete Optimization
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
On the product-form solution of a class of multiple-bus multiprocessor system models
Journal of Systems and Software
Incremental validation of digital TV applications in nested context language
Proceedings of the 10th European conference on Interactive tv and video
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets
Proceedings of the 45th Annual Simulation Symposium
Supporting adaptive clinical treatment processes through recommendations
Computer Methods and Programs in Biomedicine
Verification of problem-based learning systems using modified petri nets
Expert Systems with Applications: An International Journal
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Knowledge-Guided identification of petri net models of large biological systems
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Synthesis of Petri Net Models: A Rough Set Approach
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis
Fundamenta Informaticae - Application of Concurrency to System Design
Formalisation of a Production System Modelling Language The operational semantics of χ Core
Fundamenta Informaticae
An Application of Rough Set Methods in Control Design
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Fundamenta Informaticae
Interaction modeling on heterogeneous spaces
Proceedings of the 13th International Conference on Interacción Persona-Ordenador
Methods for testing network-intrusion detection systems
Scientific and Technical Information Processing
A boolean model for enumerating minimal siphons and traps in petri nets
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Petri nets approach to modeling of immune system and autism
ICARIS'12 Proceedings of the 11th international conference on Artificial Immune Systems
On the coverability and reachability languages of monotonic extensions of Petri nets
Theoretical Computer Science
Dynamic quest plot generation using Petri net planning
Proceedings of the Workshop at SIGGRAPH Asia
Towards a methodological approach to identify future M&S standard needs
Proceedings of the Winter Simulation Conference
An introduction to systems modeling and simulation with colored petri nets
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
Data-driven modeling and simulation framework for material handling systems in coal mines
Computers and Industrial Engineering
A novel reduction approach for Petri net systems based on matching theory
Expert Systems with Applications: An International Journal
Modeling how thinking about the past and future impacts network traffic with the gosmr architecture
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Parameterized activity cycle diagram and its application
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Design for service compatibility
Software and Systems Modeling (SoSyM)
QoS-based approach for context-aware service selection with fuzzy preferences handling
International Journal of Computer Applications in Technology
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
A Survey on Container Processing in Railway Yards
Transportation Science
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Faster verification of partially ordered runs in petri nets using compact tokenflows
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Channel properties of asynchronously composed petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
Generation of RFID test datasets using RSN tool
Personal and Ubiquitous Computing
Programming and Computing Software
Journal of Grid Computing
Verification of gap-order constraint abstractions of counter systems
Theoretical Computer Science
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
On the Context-Freeness Problem for Vector Addition Systems
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Conservative Elementary Object Systems
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
A New Class of Fuzzy Petri Nets for Knowledge Representation and Reasoning
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.12 |