Search results for "G-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Heinrich Roder, Carlos Oliveira, Lelia Net, Benjamin Linstid, Maxim Tsypin, Joanna Roder	Robust identification of molecular phenotypes using semi-supervised learning.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
35	Joshua Vander Hook, Tiago Vaquero, Federico Rossi 0001, Martina Troesch, Marc Sanchez Net, Joshua Schoolcraft, Jean-Pierre de la Croix, Steve A. Chien	Mars On-Site Shared Analytics Information and Computing.	ICAPS	2019	DBLP BibTeX RDF
35	Marc Sanchez Net, Scott Burleigh	Evaluation of Opportunistic Contact Graph Routing in Random Mobility Environments.	WiSEE	2018	DBLP DOI BibTeX RDF
35	Marc Sanchez Net, Iñigo del Portillo, Bruce G. Cameron, Edward F. Crawley	Architecting Information Security Services for Federated Satellite Systems.	J. Aerosp. Inf. Syst.	2017	DBLP DOI BibTeX RDF
35	Juan Sánchez, Félix García 0001, Marta Net	Radial collocation methods for the onset of convection in rotating spheres.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
35	Marc Sanchez Net, Iñigo del Portillo, Edward F. Crawley, Bruce G. Cameron	Approximation Methods for Estimating the Availability of Optical Ground Networks.	JOCN	2016	DBLP DOI BibTeX RDF
35	Boudewijn Boon, Marco C. Rozendaal, Marry M. van den Heuvel-Eibrink, Janjaap van der Net, Pieter Jan Stappers	Playscapes: a Design Perspective on Young Children's Physical Play.	IDC	2016	DBLP DOI BibTeX RDF
35	Ferran Garcia, Juan Sánchez, Emmanuel Dormy, Marta Net	Oscillatory Convection in Rotating Spherical Shells: Low Prandtl Number and Non-Slip Boundary Conditions.	SIAM J. Appl. Dyn. Syst.	2015	DBLP DOI BibTeX RDF
35	Marta Net, Juan Sánchez	Continuation of Bifurcations of Periodic Orbits for Large-Scale Systems.	SIAM J. Appl. Dyn. Syst.	2015	DBLP DOI BibTeX RDF
35	Marc Sanchez Net, Iñigo del Portillo, Bruce G. Cameron, Edward F. Crawley, Daniel Selva	Integrated Tradespace Analysis of Space Network Architectures.	J. Aerosp. Inf. Syst.	2015	DBLP DOI BibTeX RDF
35	Ferran Garcia, Luca Bonaventura, Marta Net, Juan Sánchez	Exponential versus IMEX high-order time integrators for thermal convection in rotating spherical shells.	J. Comput. Phys.	2014	DBLP DOI BibTeX RDF
35	Juan Sánchez, Marta Net	On the Multiple Shooting Continuation of Periodic orbits by Newton-Krylov Methods.	Int. J. Bifurc. Chaos	2010	DBLP DOI BibTeX RDF
35	Ferran Garcia, Marta Net, Bosco García-Archilla, Juan Sánchez	A comparison of high-order time integrators for thermal convection in rotating spherical shells.	J. Comput. Phys.	2010	DBLP DOI BibTeX RDF
35	Marta Net, Juan Sánchez	Symmetric Periodic orbits and Global Dynamics of Tori in an O(2) Equivariant System: Two-Dimensional thermal convection.	Int. J. Bifurc. Chaos	2005	DBLP DOI BibTeX RDF
35	C. L. Dumoulin, George C. Levy, F. A. L. Net	An FFT algorithm for virtually stored data.	Comput. Chem.	1981	DBLP DOI BibTeX RDF
34	Johann Duscher, Amine El Malki	A Reference Net Based Formalization of Concurrent Cognitive Decision Making.	SEW	2007	DBLP DOI BibTeX RDF	cognitive decision making, multi-agent systems, model-checking, verification, concurrency, specification, reference net, object petri net
34	Helen D. Karatza	A Valuable Resource of Programmers Using .NET Technology.	IEEE Distributed Syst. Online	2004	DBLP DOI BibTeX RDF	VB.NET, distributed applications, distributed programming, .NET
34	Thomas Seidmann	Distributed Shared Memory Using The .NET Framework.	CCGRID	2003	DBLP DOI BibTeX RDF	Object-based distributed shared memory, .NET Framework, .NET Remoting, IP multicasting, object replication, causal consistency
34	Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
34	Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake	Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support
34	John B. Evans	The Devnet: a Petri Net for Discrete Event Simulation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures
34	Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu	Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking
34	Hans-Jürgen Hoffmann	On the visualization of design notions, of notion instantiations, and of structural relationships in a design data base realized as a semantic net.	Informatics and Psychology Workshop	1986	DBLP DOI BibTeX RDF	Abbreviations DDB design data base, IDE integrated design environment, DS/P design specification/program, SN/FN semantic net/frame net
34	Chung-Kai Chen, Yu-Hao Chang, Yu-Tin Chen, Chih-Chieh Yang, Jenq Kuen Lee	Switching supports for stateful object remoting on network processors.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	.NET Remoting, Load-balancing scheduler, Grid computing, Distributed computing, Network processor
34	Lawrence Cabac, Daniel Moldt	Formal Semantics for AUML Agent Interaction Protocol Diagrams.	AOSE	2004	DBLP DOI BibTeX RDF	Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
34	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou	Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
34	Georg Lausen	Modeling and Analysis of the Behavior of Information Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
34	Volker Braun, Tiziana Margaria, Bernhard Steffen	The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
34	Herbert Weber	Application Development Assistance with the Petri Net Baukasten.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
33	Robin Bergenthum, Jörg Desel, Sebastian Mauser	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
33	Zipeng Zhang, Shuqing Wang, Xiaohui Yuan	Advanced Self-adaptation Learning and Inference Techniques for Fuzzy Petri Net Expert System Units.	AICI	2009	DBLP DOI BibTeX RDF	dynamic fuzzy reasoning, self-adaptation learning, neural network, Fuzzy Petri net
33	Liu Han-xia, Li Rong-jun	Responsibility of Net-bank in Electronic Payment.	ISECS	2008	DBLP DOI BibTeX RDF	net-bank, payment tools, e-commerce, responsibility
33	Juanqiong Gou, Tingting Ma, Jingjing Li	A Research on Supply Chain Integration Strategy Based on Virtual Value Net.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Supply chain integration, Virtual value net, Integration degree, Supply chain, Business components
33	Yan He 0001, Miaoliang Zhu	A complete and efficient strategy based on petri net in automated trust negotiation.	Infoscale	2007	DBLP DOI BibTeX RDF	negotiation petri net, automated trust negotiation, negotiation strategy
33	Kwanghoon Pio Kim, Hyun-Ah Kim, Chang-Min Kim	SCO Control Net for the Process-Driven SCORM Content Aggregation Model.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	SCORM Content Aggregation Model, Sharable Content Object, e-Learning Management System, SCO Control Net, Process-driven Content Aggregation Model, Sequencing and Navigation of Learning Process and Experience
33	Kevin M. Lepak, Min Xu, Jun Chen 0008, Lei He 0001	Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	VLSI physical design automation and on-chip inductance, net ordering, noise minimization, signal integrity, shielding
33	Yukitaka Kusumura, Yoshinori Hijikata, Shogo Nishida	Text mining agent for net auction.	SAC	2004	DBLP DOI BibTeX RDF	net auction, information extraction, text mining
33	Ting-Yuan Wang, Jeng-Liang Tsai, Charlie Chung-Ping Chen	Sensitivity guided net weighting for placement driven synthesis.	ISPD	2004	DBLP DOI BibTeX RDF	interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight
33	Haoxing Ren, David Zhigang Pan, David S. Kung 0001	Sensitivity guided net weighting for placement driven synthesis.	ISPD	2004	DBLP DOI BibTeX RDF	interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight
33	Annya Réquilé-Romanczuk, Christine Mingins, Brian Yap, Olivier Constant	LEOPARD: a .net based agent architecture.	AAMAS	2003	DBLP DOI BibTeX RDF	experimental tool, multi-agents platform, design, implementation, C#, net
33	Jin-Cheon Na, Richard Furuta	Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	petri-net-based hypertext, caT, trellis, dynamic documents
33	Carl K. Chang, Seongwoon Kim	I3: A Petri-Net Based Specification Method for Architectural Components.	COMPSAC	1999	DBLP DOI BibTeX RDF	architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB
33	Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su	Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming
33	Jianqiang Li 0002, Yushun Fan, MengChu Zhou	Performance modeling and analysis of workflow.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
33	Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu	Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF
33	Marisa Llorens, Javier Oliver 0001	Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.	ATVA	2004	DBLP DOI BibTeX RDF
33	Dragan Gasevic, Vladan Devedzic	Reusing Petri Nets Through the Semantic Web.	ESWS	2004	DBLP DOI BibTeX RDF
33	Satoshi Tanaka, Tomoko Itao, Atsushi Yamamoto, Tatsuya Suda, Shigeki Yamada	The Design and Implementation of Service Emergence Platform Software.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
32	Chong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang 0004	A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	WF-net, workflow logic, Petri Net, synchronizer, workflow modeling
32	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu	A new efficient EDA tool design methodology.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Net Framework, C?, ESys.Net, attribute programming, embedded systems, SoC, VHDL, SystemC, modeling and simulation, CoDesign
32	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
32	D. H. H. Yoon	A survey of system design methodologies.	ECBS	1997	DBLP DOI BibTeX RDF	system design methodologies, functional system design, process-based system design, object-oriented system design, net-based system design, graphical design tools, interactive system design tool, OBJ-NET, systems analysis, complex systems, open system, design languages, control software
32	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
31	Georg Zetzsche	Erasing in Petri Net Languages and Matrix Grammars.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
31	Yong Yu 0009, Tong Li 0004, Qing Liu, Fei Dai 0002, Na Zhao 0006	OR-transition Colored Petri Net and its Application in Modeling Software System.	WKDD	2009	DBLP DOI BibTeX RDF
31	Tony Spiteri Staines	Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.	ECBS	2008	DBLP DOI BibTeX RDF
31	Rafael Menéndez de Llano, José Luis Bosque	Parallel Implementation of a Neural Net Training Application in a Heterogeneous Grid Environment.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF
31	Jungong Han, Dirk Farin, Peter H. N. de With	Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences.	MMM (2)	2007	DBLP DOI BibTeX RDF	Generic, Content analysis, Sports video, 3-D modeling
31	Lu Songfeng, Sun Chengfu, Ma Xinjian	Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.	SYNASC	2007	DBLP DOI BibTeX RDF
31	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
31	Haoxing Ren, David Zhigang Pan, David S. Kung 0001	Sensitivity guided net weighting for placement-driven synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
31	Chung-Kai Chen, Yu-Hao Chang, Cheng-Wei Chen, Yu-Tin Chen, Chih-Chieh Yang, Jenq Kuen Lee	Efficient Switching Supports of Distributed .NET Remoting with Network Processors.	ICPP	2005	DBLP DOI BibTeX RDF
31	Lawrence Cabac, Daniel Moldt, Heiko Rölke	A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.	ICATPN	2003	DBLP DOI BibTeX RDF	agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
31	Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel	High-Level Net Processes.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
31	Márcio Eduardo Delamaro, Gian Pietro Picco	Mobile Code in .NET: A Porting Experience.	Mobile Agents	2002	DBLP DOI BibTeX RDF
31	Jun Shen 0001, Yun Yang 0001, Junzhou Luo	A Petri Net Model for Session Services.	EDCIS	2002	DBLP DOI BibTeX RDF	modeling, Petri nets, protocols, Computer networks, protocol engineering
31	Haiping Xu, Sol M. Shatz	An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.	ISADS	2001	DBLP DOI BibTeX RDF
31	Trong Wu, Shu-chiung Huang	A Timed Petri Net Interpreter: An Alternative Method for Simulation.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
31	Giorgio De Michelis	Net Theory and Workflow Models (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
31	Christoforos N. Hadjicostis, George C. Verghese	Monitoring Discrete Event Systems Using Petri Net Embeddings.	ICATPN	1999	DBLP DOI BibTeX RDF
31	Shiuann-Shiuh Lin, Yuh-Ju Lin, TingTing Hwang	Net assignment for the FPGA-based logic emulation system in the folded-Clos network structure.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
31	Jason Cong, Wilburt Labio, Narayanan Shivakumar	Multiway VLSI circuit partitioning based on dual net representation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
31	Tadao Murata, Du Zhang	A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations
31	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
30	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
30	Liang Jin, Gandi Xie, CaiXing Lin	Engineering Testing Process Management System Based On .Net Framework.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Engineering Test Process Management, .NET architecture, ASP.NET
30	Xiaoning Feng, Qun Liu, Zhuo Wang 0008	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
30	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois	ESys.Net: a new solution for embedded systems modeling and simulation.	LCTES	2004	DBLP DOI BibTeX RDF	CIL, ESys.Net, attribute programming, component-based programming, simulation, Java, modeling, embedded systems, C++, framework, system on chip, VHDL, SystemC, hardware/software codesign, C#, Net, Verilog, HDLs, SystemVerilog
30	Wai-Kei Mak, D. F. Wong 0001	Board-level multi-terminal net routing for FPGA-based logic emulation.	ICCAD	1995	DBLP DOI BibTeX RDF	board-level routing, bounded-degree hypergraph-to-graph transformation, logic emulation systems, multi-terminal net decomposition net, FPGA
30	Charles André	Delays in synchronized elementary net systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid
30	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
30	Hang Wu	Pure object-based domain model for enterprise systems.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	NEO, Net-PI, architecture, domain model, layer, dataset
30	Joon S. Park, Harish S. Krishnan	Trusted Identity and Session Management Using Secure Cookies.	DBSec	2005	DBLP DOI BibTeX RDF	.NET Passport, Identity Management, Cookies
30	Jamal Abd-Ali, Karim El Guemhioui	Horizontal Transformation of PSMs.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	Horizontal Trans-formation, EJB to.NET, MDA, Model Transformation, Metamodeling, MDE
30	Mohammed Elkoutbi, Rudolf K. Keller	User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping
30	Wolfram Sperber	Math-Net International and the Math-Net Page.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
29	Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano	Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
29	Wilfried Brauer (eds.)	Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979	Advanced Course: Net Theory and Applications	1980	DBLP DOI BibTeX RDF
29	Jerre D. Noe	Nets in Modeling and Simulation.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Konrad Zuse	Petri-Nets from the Engineer's Viewpoint.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Charles André, M. Diaz, Claude Girault, Joseph Sifakis	Survey of French Research and Applications Based on Petri Nets.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Eike Best	The Relative Strength of K-Density.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	C. A. Petri 0001	Concurrency.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Matthias Jantzen	Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Matthias Jantzen, Rüdiger Valk	Formal Properties of Place/Transition Nets.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Joseph Sifakis	Performance Evaluation of Systems Using Nets.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Horst Oberquelle	Nets as a Tool in Teaching and in Terminology Work.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Eike Best	Atomicity of Activities.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Eike Best	Adequacy of Path Programs.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
29	Gérard Berthelot, Gérard Roucairol, Rüdiger Valk	Reductions of Nets and Parallel Prgrams.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF